Locality in modular systems

  • R. J. R. Back
  • H. Mannila
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 140)


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.


Specification Language Semantic Model Local Correctness Modular System Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    De Bakker, J.W.: Mathematical Theory of Program Correctness, Prentice-Hall 1980.Google Scholar
  3. 3.
    Habermann, A.N. & D.E. Perry: Well-formed system composition, Research report CMU-CS-80-117, Carnegie-Mellon University, 1980.Google Scholar
  4. 4.
    Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM 15, 2, 1053–1058, 1972.CrossRefGoogle Scholar
  5. 5.
    Parnas, D.L.: On a “buzzword”: hierarchical structure, Proceedings of the IFIP Congress-74, 336–339, North-Holland, 1974.Google Scholar
  6. 6.
    Parnas, D.L. & D.P. Siewiorek: Use of the concept of transparency in the design of hierarchically structured systems, Communications of the ACM 18, 7, 401–408, 1975.CrossRefGoogle Scholar
  7. 7.
    Scott, D.: Lectures on a mathematical theory of computation, Technical monograph PRG-19, Oxford University Computing Laboratory, 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • R. J. R. Back
    • 1
  • H. Mannila
    • 1
  1. 1.Department of Computer ScienceUniversity of HelsinkiFinland

Personalised recommendations