Go backward to Unless
Go up to Top
Go forward to Special Cases of Unless
Special Cases of Unless
- is stable unless false.
- Stable predicates remain true once it becomes true (but it may never
become true).
- is invariant (initial condition )
and is stable.
- Invariant is always true from the beginning.
- constant
Stable is prserved by every statement of the program.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity2.tex,v 1.1 1996/04/15 14:38:10 schreine Exp schreine