Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Back, R.J.R & H. Mannila: A semantic approach to program modularity, University of Helsinki, Department of Computer Science, Series C, to appear.
De Bakker, J.W.: Mathematical Theory of Program Correctness, Prentice-Hall 1980.
Habermann, A.N. & D.E. Perry: Well-formed system composition, Research report CMU-CS-80-117, Carnegie-Mellon University, 1980.
Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM 15, 2, 1053–1058, 1972.
Parnas, D.L.: On a “buzzword”: hierarchical structure, Proceedings of the IFIP Congress-74, 336–339, North-Holland, 1974.
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.
Scott, D.: Lectures on a mathematical theory of computation, Technical monograph PRG-19, Oxford University Computing Laboratory, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Back, R.J.R., Mannila, H. (1982). Locality in modular systems. In: Nielsen, M., Schmidt, E.M. (eds) Automata, Languages and Programming. ICALP 1982. Lecture Notes in Computer Science, vol 140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012752
Download citation
DOI: https://doi.org/10.1007/BFb0012752
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11576-2
Online ISBN: 978-3-540-39308-5
eBook Packages: Springer Book Archive