Internal and External Logics of Abstract Interpretations

DOI10.1007/978-3-540-78163-9_23zbMATH Open1138.68362OpenAlexW1584674264MaRDI QIDQ5452722FDOQ5452722

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

Recommendations

• Abstract interpretation and application to logic programs
• Abstract Interpretation as Automated Deduction
• Extracting program logics from abstract interpretations defined by logical relations
• Publication:3201751
• Abstract interpretation based verification of logic programs

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Systematic design of program transformation frameworks by abstract interpretation
• Underapproximating Predicate Transformers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal abstract interpretation
• Programming Languages and Systems
• Making abstract interpretations complete
• Comparing Completeness Properties of Static Analyses and Their Logics
• Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs
• Title not available (Why is that?)
• Proving correctness of compiler optimizations by temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

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

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)