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!
- Fair selection condition:
- .label =
(for an infinite number of and any and ).
- ( and .label = )
(for all and ).
Id: unity2.tex,v 1.1 1996/04/15 14:38:10 schreine Exp schreine