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

Data typesFormal specificationsProgram correctnessProgram specificationSoftware design and implementationSoftware engineeringTheory of computation

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

• Characterizing the regular prefix codes and right power-bounded languages
• 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?)
• Module algebra
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Topoi. The categorial analysis of logic

Cited in

(15)

• Union and actualization of module specifications: Some compatibility results
• On pushout consistency, modularity and interpolation for logical specifications
• On local modularity variants and \(\Pi\)-institutions
• On a generalized modularization theorem
• Modular semantics for theories: an approach to paraconsistent reasoning
• On local modularity and interpolation in entailment systems.
• On methods for safe introduction of operations
• scientific article; zbMATH DE number 5872190 (Why is no real title available?)
• scientific article; zbMATH DE number 408807 (Why is no real title available?)
• A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
• scientific article; zbMATH DE number 1538015 (Why is no real title available?)
• scientific article; zbMATH DE number 5046357 (Why is no real title available?)
• On congruence modularity in varieties of logic.
• On the fragility of interpolation
• 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)