Mechanized semantics of simple imperative programming constructs

Pfeifer, Holger; Dold, Axel; Henke, Friedrich Wilhelm von; Rueß, Harald

doi:http://dx.doi.org/10.18725/OPARU-1714

Download

vts_7133_10018.pdf (382.4Kb)
53 Seiten

Veröffentlichung

2009-11-30

DOI

10.18725/OPARU-1714

Wissenschaftlicher Beitrag

Autoren

Pfeifer, Holger

Dold, Axel

Henke, Friedrich Wilhelm von

Rueß, Harald

Fakultäten

Fakultät für Ingenieurwissenschaften und Informatik

Lizenz

Standard (Fassung vom 01.10.2008)
https://oparu.uni-ulm.de/xmlui/license_v2

Zusammenfassung

N/A

Erstellung / Fertigstellung

1996

Normierte Schlagwörter

Algorithmische Programmierung [GND]
Computer programs. Verification [LCSH]

Schlagwörter

Verifix

DDC-Sachgruppe

DDC 004 / Data processing & computer science

Metadata

Zur Langanzeige

Zitiervorlage

Pfeifer, Holger et al. (2009): Mechanized semantics of simple imperative programming constructs. Open Access Repositorium der Universität Ulm. http://dx.doi.org/10.18725/OPARU-1714

Weitere Zitierstile