@techreport{RISC3457,author = {Wolfgang Schreiner},
title = {{Understanding Programs}},
language = {english},
abstract = {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.
},
address = {Johannes Kepler University, Linz, Austria},
year = {2008},
month = {July},
institution = {Research Institute for Symbolic Computation (RISC)},
length = {577}
}