Propositional Interpolation and Abstract Interpretation

DOI10.1007/978-3-642-11957-6_11MaRDI QIDQ3558223zbMATH OpenOpenAlexFDO

Authors Vijay D'Silva

Publication date 4 May 2010

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11957-6_11

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Interpolation, preservation, definability (03C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Interpolation in propositional Horn logic
• Abstract interpretation and application to logic programs
• Interpolation in fragments of intuitionistic propositional logic
• Computer Science Logic
• Interpolation theorems for intuitionistic predicate logic
• Interpolation property for extensions of intuitionistic provability logic
• scientific article; zbMATH DE number 1949621
• scientific article; zbMATH DE number 2015297
• Effectively propositional interpolants
• Interpolation property and superintuitionistic predicate logics

Cited in

(15)

• On the existence of polynomial time algorithms for interpolation problems in propositional logic
• Exploiting partial variable assignment in interpolation-based model checking
• Interpolant strength revisited
• Labelled interpolation systems for hyper-resolution, clausal, and local proofs
• Interpolation systems for ground proofs in automated deduction: a survey
• Whale: an interpolation-based algorithm for inter-procedural verification
• Conjunctive abstract interpretation using paramodulation
• On interpolation in decision procedures
• Relevance heuristics for program analysis
• Effectively propositional interpolants
• scientific article; zbMATH DE number 1850736 (Why is no real title available?)
• scientific article; zbMATH DE number 2090854 (Why is no real title available?)
• Abstracting induction by extrapolation and interpolation
• How to deal with unbelievable assertions
• On recursion-free Horn clauses and Craig interpolation

This page was built for publication: Propositional Interpolation and Abstract Interpretation

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