Mechanized semantics of simple imperative programming constructs

vts_7133_10018.pdf (382.4Kb)
53 Seiten
53 Seiten
Veröffentlichung
2009-11-30Authors
Pfeifer, Holger
Dold, Axel
Henke, Friedrich Wilhelm von
Rueß, Harald
Wissenschaftlicher Beitrag
Faculties
Fakultät für Ingenieurwissenschaften und InformatikAbstract
N/A
Date created
1996
Subject headings
[GND]: Algorithmische Programmierung[LCSH]: Computer programs. Verification
[Free subject headings]: Verifix
[DDC subject group]: DDC 004 / Data processing & computer science
Metadata
Show full item recordDOI & citation
Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-1714
Pfeifer, Holger et al. (2009): Mechanized semantics of simple imperative programming constructs. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-1714
Citation formatter >