Go backward to A Model of Program Execution
Go up to Top
Go forward to Fundamental Concepts

Application of Execution Model

Program execution model used to formalize operational understanding of program execution, not to reason about program properties!

Id: unity2.tex,v 1.1 1996/04/15 14:38:10 schreine Exp schreine

Prev Up Next