Go backward to A Model of Program Execution
Go up to Top
Go forward to Fundamental Concepts
Application of Execution Model
- Fair selection condition:
- .label =
(for an infinite number of and any and ).
-
-
- ( and .label = )
(for all and ).
Program execution model used to formalize operational understanding of
program execution, not to reason about program properties!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity2.tex,v 1.1 1996/04/15 14:38:10 schreine Exp schreine