On local modularity and interpolation in entailment systems.

DOI10.1016/S0020-0190(01)00271-XzbMATH Open1043.68075OpenAlexW2024147165MaRDI QIDQ1853014FDOQ1853014

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

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

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)

Cites Work

• Title not available (Why is that?)
• On pushout consistency, modularity and interpolation for logical specifications
• On the Modularization Theorem for logical specifications
• Title not available (Why is that?)
• Module algebra
• On a generalized modularization theorem
• Title not available (Why is that?)
• Generalized interpolation in CASL
• On local modularity variants and \(\Pi\)-institutions
• Title not available (Why is that?)
• A New, Simpler Proof of the Modularisation 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)