A semantic approach to program modularity

DOI10.1016/S0019-9958(84)80026-1MaRDI QIDQ3719785zbMATH OpenFDO

Authors Ralph-Johan Back, Heikki Mannila

Publication date 1984

Published in Information and Control (Search for Journal in Brave)

zbMATH Keywords

localitycorrectness criteriaModularityrecursive modular systems

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the correctness of modular systems
• A semantics for modular general logic programs
• Theory of Modules
• scientific article; zbMATH DE number 4033047
• scientific article; zbMATH DE number 3980454

Cited in

(6)

• scientific article; zbMATH DE number 3938532 (Why is no real title available?)
• Modularity
• scientific article; zbMATH DE number 1231620 (Why is no real title available?)
• Composing hidden information modules over inclusive institutions
• Semantics of communication in simple multimodular programs
• A methodology of structured-modular composition programming

This page was built for publication: A semantic approach to program modularity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3719785)