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

Authors

Pfeifer, Holger

Dold, Axel

Henke, Friedrich Wilhelm von

Rueß, Harald

Faculties

Fakultät für Ingenieurwissenschaften und Informatik

License

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

Abstract

N/A

Date created

1996

Subject Headings

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

Keywords

Verifix

Dewey Decimal Group

DDC 004 / Data processing & computer science

Metadata

Show full item record

Citation example

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

Other citation formats