Theory of Modules

DOI10.1109/TSE.1987.233493MaRDI QIDQ4727398zbMATH OpenOpenAlexFDO

Authors John D. Gannon, Richard Hamlet, Harlan D. Mills

Publication date 1987

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1987.233493

zbMATH Keywords

abstract data typesAlphard formalismfunctional semanticsHoare logicprogram specificationsprogram verificationproof of module abstractionssoftware engineering

Mathematics Subject Classification ID

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

Recommendations

• Model theory of modules
• Model theory of modules
• scientific article; zbMATH DE number 192904
• scientific article; zbMATH DE number 1164014
• scientific article; zbMATH DE number 65806
• Modules and Stability Theory
• Module algebra
• Grothendieck rings of theories of modules
• The Structure of Algebraic Moduls

Cited in

(7)

• Modular theory for bimodules
• Supporting module reuse in refinement
• scientific article; zbMATH DE number 3846857 (Why is no real title available?)
• A semantic approach to program modularity
• scientific article; zbMATH DE number 1303732 (Why is no real title available?)
• A comparison of modularity in B and Cogito
• scientific article; zbMATH DE number 5046357 (Why is no real title available?)

This page was built for publication: Theory of Modules

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