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

vts_7133_10018.pdf (382.4Kb)
53 Seiten

Veröffentlichung

2009-11-30

Authors

Pfeifer, Holger

Dold, Axel

Henke, Friedrich Wilhelm von

Rueß, Harald

Wissenschaftlicher Beitrag

Faculties

Fakultät für Ingenieurwissenschaften und Informatik

Abstract

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

License

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

Metadata

Show full item record

DOI & 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 >