On the Modularization Theorem for logical specifications

DOI10.1016/0020-0190(94)00203-BMaRDI QIDQ674000zbMATH OpenOpenAlexFDO

Authors Paulo A. S. Veloso, Tim Maibaum

Publication date 28 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(94)00203-b

zbMATH Keywords

Software engineeringProgram correctnessTheory of computationData typesFormal specificationsProgram specificationSoftware design and implementation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 408807
• A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
• Formal Properties of Modularisation
• Structuring of specification modules (extended)

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3878342 (Why is no real title available?)
• scientific article; zbMATH DE number 3938560 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Characterizing the regular prefix codes and right power-bounded languages
• Module algebra
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Topoi. The categorial analysis of logic

Cited in

(13)

• Union and actualization of module specifications: Some compatibility results
• scientific article; zbMATH DE number 5872190 (Why is no real title available?)
• scientific article; zbMATH DE number 1538015 (Why is no real title available?)
• On local modularity and interpolation in entailment systems.
• On local modularity variants and \(\Pi\)-institutions
• On methods for safe introduction of operations
• On congruence modularity in varieties of logic.
• scientific article; zbMATH DE number 408807 (Why is no real title available?)
• scientific article; zbMATH DE number 5046357 (Why is no real title available?)
• On a generalized modularization theorem
• On pushout consistency, modularity and interpolation for logical specifications
• Modular semantics for theories: an approach to paraconsistent reasoning
• An institution-independent proof of the Beth definability theorem

This page was built for publication: On the Modularization Theorem for logical specifications

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