A semantic approach to program modularity

DOI10.1016/S0019-9958(84)80026-1zbMATH Open0591.68004MaRDI QIDQ3719785FDOQ3719785

Authors: Ralph-Johan Back, Heikki Mannila 

Publication date: 1984

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

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

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)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modularity
• A methodology of structured-modular composition programming
• Semantics of communication in simple multimodular programs
• Composing hidden information modules over inclusive institutions

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)