Wolfgang Schreiner,
"Understanding Programs"
, Serie RISC Technical Reports, RISC, JKU-Linz, Schloss Hagenberg, 4232 Hagenberg, 7-2008
Original Titel:
Understanding Programs
Sprache des Titels:
Englisch
Original Kurzfassung:
This work-in-progress document describes our understanding of the semantics of programs written in imperative languages, of the specification of program behaviors, and of the rules for verifying that programs behave as specified. The presentation is based on the formal modeling of programs as state relations; it may serve as a foundation for computer-supported program reasoning.
Forschungs-