Conjunctive Abstract Interpretation Using Paramodulation

DOI10.1007/978-3-319-52234-0_24zbMath1484.68051OpenAlexW2568837000MaRDI QIDQ2961582

Noam Rinetzky, Mooly Sagiv, Oded Padon, Or Ozeri

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

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

Uses Software

• Boogie

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The reduced relative power operation on abstract domains
• Logical optimality of groundness analysis
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
• Fast Decision Procedures Based on Congruence Closure
• Systematic design of program transformation frameworks by abstract interpretation
• A Machine-Oriented Logic Based on the Resolution Principle
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Conjunctive Abstract Interpretation Using Paramodulation