On local modularity and interpolation in entailment systems.

DOI10.1016/S0020-0190(01)00271-XMaRDI QIDQ1853014zbMATH OpenOpenAlexFDO

Authors Paulo A. S. Veloso, Sheila R. M. Veloso, José 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

InterpolationSoftware engineeringFormal specificationsModularityInstitution

Mathematics Subject Classification ID

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

Recommendations

• On local modularity variants and \(\Pi\)-institutions
• On a generalized modularization theorem
• On pushout consistency, modularity and interpolation for logical specifications
• Interpolation in local theory extensions
• Interpolation in Local Theory Extensions

Cites work

• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3938560 (Why is no real title available?)
• scientific article; zbMATH DE number 4037182 (Why is no real title available?)
• scientific article; zbMATH DE number 4097351 (Why is no real title available?)
• A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
• Generalized interpolation in CASL
• Module algebra
• On a generalized modularization theorem
• On local modularity variants and \(\Pi\)-institutions
• On pushout consistency, modularity and interpolation for logical specifications
• On the Modularization Theorem for logical specifications

Cited in

(3)

• A language for configuring multi-level specifications
• On local modularity variants and \(\Pi\)-institutions
• An institution-independent proof of the Beth definability theorem

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

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