Comparison of abstract interpretations
From MaRDI portal
Publication:5204344
Recommendations
Cites work
Cited in
(13)- Completeness of string analysis for dynamic languages
- Verification, Model Checking, and Abstract Interpretation
- Generalizing simulation to abstract domains
- The powerset operator on abstract interpretations
- COMPARISON BETWEEN INTERACTION CONCEPTS
- Comparison of abstract interpretations
- Set-sharing is redundant for pair-sharing
- Refining abstract interpretations
- Computing abstract distances in logic programs
- scientific article; zbMATH DE number 1534584 (Why is no real title available?)
- A lattice for abstract interpretation of dynamic (LISP-like) structures
- Design of abstract domains using first-order logic
- Abstract interpretation as a programming language
This page was built for publication: Comparison of abstract interpretations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204344)