Conjunctive abstract interpretation using paramodulation

DOI10.1007/978-3-319-52234-0_24MaRDI QIDQ2961582zbMATH OpenOpenAlexFDO

Authors Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv

Publication date 21 February 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-52234-0_24

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Abstract Interpretation as Automated Deduction
• Abstract interpretation as automated deduction
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• A certified denotational abstract interpreter
• Propositional Interpolation and Abstract Interpretation

Cites work

• scientific article; zbMATH DE number 67457 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
• Fast Decision Procedures Based on Congruence Closure
• Handbook of automated reasoning. In 2 vols
• Logical optimality of groundness analysis
• Systematic design of program transformation frameworks by abstract interpretation
• The reduced relative power operation on abstract domains
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(1)

• Block-wise abstract interpretation by combining abstract domains with SMT

Describes a project that uses

Uses Software

• Boogie

This page was built for publication: Conjunctive abstract interpretation using paramodulation

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