Go backward to Correctness
Go up to Top
Go forward to Program Composition by Union
Program Structuring
- Composition of UNITY programs.
- Large program consisting of small components.
- Each component developed and understood by itself.
- Union of programs.
- Appending codes together.
- Commutative, associative program operation.
- Networks of parallel processes.
- Superposition of programs.
- Modification of a given program.
- Add new variables and assignments.
- Preserves all properties of original program.
- Useful in building programs in layers.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity3.tex,v 1.1 1996/04/19 12:29:22 schreine Exp schreine