State of the Union: Type Inference Via Craig Interpolation

DOI10.1007/978-3-540-71209-1_43zbMath1186.68114OpenAlexW1554764512MaRDI QIDQ5758131

Rupak Majumdar, Ranjit Jhala, Ru-Gang Xu

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_43

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Interpolation for predefined types ⋮ Craig Interpolation in Displayable Logics ⋮ Common knowledge does not have the Beth property ⋮ Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle ⋮ Generalised graded interpolation

Uses Software

• Cyclone
• CCured
• FOCI

This page was built for publication: State of the Union: Type Inference Via Craig Interpolation