Interpolation in computing science: The semantics of modularization

DOI10.1007/S11229-008-9358-YMaRDI QIDQ1024120zbMATH OpenOpenAlexFDO

Authors Gerard R. Renardel de Lavalette

Publication date 16 June 2009

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-008-9358-y

zbMATH Keywords

interpolationmodularizationalgebraic theorymodule algebrahidingtheory algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Interpolation, preservation, definability (03C40)

Recommendations

• A semantic approach to interpolation
• scientific article; zbMATH DE number 1931663
• scientific article; zbMATH DE number 1303729
• Interpolation in practical formal development
• Harmonious logic: Craig's interpolation theorem and its descendants

Cites work

• scientific article; zbMATH DE number 23769 (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
• A simple algebraic proof of the equational interpolation theorem
• An interpolating theorem prover
• Interpolation and SAT-based model checking.
• Lazy Abstraction with Interpolants
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Logics in Artificial Intelligence
• Module algebra
• On a generalized modularization theorem
• On the unusual effectiveness of logic in computer science
• Program development by stepwise refinement

Cited in

(4)

• Interpolation in practical formal development
• scientific article; zbMATH DE number 408807 (Why is no real title available?)
• Craig interpolation for networks of sentences
• Craig Interpolation for Linear Temporal Languages

Describes a project that uses

Uses Software

• FOCI

This page was built for publication: Interpolation in computing science: The semantics of modularization

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