On pushout consistency, modularity and interpolation for logical specifications

DOI10.1016/S0020-0190(96)00146-9zbMath0900.68305OpenAlexW1968723292MaRDI QIDQ1350924

Paulo A. S. Veloso

Publication date: 27 February 1997

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

Full work available at URL: https://doi.org/10.1016/s0020-0190(96)00146-9

zbMATH Keywords

Software engineeringInterpolationConsistencyExtensionsTheory of computationData typesFormal specificationsModularityInterpretationsCoequalizerInternalizationPushout

Mathematics Subject Classification ID

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

Related Items

On methods for safe introduction of operations, Interpolation for predefined types, An axiomatic approach to structuring specifications, The institution-theoretic scope of logic theorems, Abstract Beth definability in institutions, On local modularity and interpolation in entailment systems., Generalised graded interpolation, On local modularity variants and \(\Pi\)-institutions, On a generalized modularization theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the Modularization Theorem for logical specifications
• Topoi. The categorial analysis of logic
• Characterizing the regular prefix codes and right power-bounded languages
• Model theory
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
• Definition-like Extensions by Sorts
• Logic and structure.