Internal and External Logics of Abstract Interpretations

DOI10.1007/978-3-540-78163-9_23MaRDI QIDQ5452722zbMATH OpenOpenAlexFDO

Authors David A. Schmidt

Publication date 4 April 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-78163-9_23

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Abstract interpretation and application to logic programs
• Abstract Interpretation as Automated Deduction
• Extracting program logics from abstract interpretations defined by logical relations
• scientific article; zbMATH DE number 4178750
• Abstract interpretation based verification of logic programs

Cites work

• Boolean and Cartesian abstraction for model checking C programs
• Comparing Completeness Properties of Static Analyses and Their Logics
• Continuous Lattices and Domains
• Counterexample-guided abstraction refinement
• scientific article; zbMATH DE number 3938547 (Why is no real title available?)
• scientific article; zbMATH DE number 3735091 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3592938 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• Incompleteness, counterexamples, and refinements in abstract model-checking
• Making abstract interpretations complete
• Model checking guided abstraction and analysis
• Programming Languages and Systems
• Proving correctness of compiler optimizations by temporal logic
• Sometime = always + recursion always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs
• Systematic design of program transformation frameworks by abstract interpretation
• Temporal abstract interpretation
• Underapproximating Predicate Transformers

Cited in

(5)

• Abstract interpretation as automated deduction
• Interpreting abstract interpretations in membership equational logic
• Complete abstractions and subclassical modal logics
• Abstract Interpretation as Automated Deduction
• Extracting program logics from abstract interpretations defined by logical relations

This page was built for publication: Internal and External Logics of Abstract Interpretations

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