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}