On local modularity and interpolation in entailment systems.

DOI10.1016/S0020-0190(01)00271-XzbMath1043.68075OpenAlexW2024147165MaRDI QIDQ1853014

Paulo A. S. Veloso, Sheila R. M. Veloso, José Luiz Fiadeiro

Publication date: 21 January 2003

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

Full work available at URL: https://doi.org/10.1016/s0020-0190(01)00271-x

zbMATH Keywords

Software engineeringInterpolationFormal specificationsModularityInstitution

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A language for configuring multi-level specifications ⋮ An institution-independent proof of the Beth definability theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the Modularization Theorem for logical specifications
• Generalized interpolation in CASL
• On pushout consistency, modularity and interpolation for logical specifications
• On local modularity variants and \(\Pi\)-institutions
• On a generalized modularization theorem
• Module algebra
• A New, Simpler Proof of the Modularisation Theorem for Logical Specifications

This page was built for publication: On local modularity and interpolation in entailment systems.