Locality in modular systems
Modularity of programs is studied from a semantic point of view. A simple model of modular systems and modularization mechanisms is presented, together with correctness criteria for modular systems. A concept of locality of modular systems is defined; it is a property which “good” modular decompositions should have. The locality of certain kinds of modularization mechanisms is studied, and the results are applied to parameterless procedures.
KeywordsSpecification Language Semantic Model Local Correctness Modular System Abstract Data Type
Unable to display preview. Download preview PDF.
- 1.Back, R.J.R & H. Mannila: A semantic approach to program modularity, University of Helsinki, Department of Computer Science, Series C, to appear.Google Scholar
- 2.De Bakker, J.W.: Mathematical Theory of Program Correctness, Prentice-Hall 1980.Google Scholar
- 3.Habermann, A.N. & D.E. Perry: Well-formed system composition, Research report CMU-CS-80-117, Carnegie-Mellon University, 1980.Google Scholar
- 5.Parnas, D.L.: On a “buzzword”: hierarchical structure, Proceedings of the IFIP Congress-74, 336–339, North-Holland, 1974.Google Scholar
- 7.Scott, D.: Lectures on a mathematical theory of computation, Technical monograph PRG-19, Oxford University Computing Laboratory, 1981.Google Scholar