Go backward to Program Structuring
Go up to Top
Go forward to The Union Theorem
Program Composition by Union
- []
- Component programs , .
- Composite program [] .
- Components can name common variables.
- Append corresponding sections of two components.
- Assume that there are no inconsistencies in definitions of variables,
always-sections, or initializations.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity3.tex,v 1.1 1996/04/19 12:29:22 schreine Exp schreine