Go backward to Superposition
Go up to Top
Go forward to The Superposition Theorem
Rules of Superposition
initially initial values of superposed variables
transform effect of augmentation rule
add effect of restricted union rule
- Augmentation Rule:
- Statement in underlying program may be transformed to
|| where does not assign to underlying variables.
- Restricted Union Rule:
- Statement may be added to underlying program provided that does
not assign to underlying variables.
Id: unity3.tex,v 1.1 1996/04/19 12:29:22 schreine Exp schreine