Abstract Interpretation Using TDGs
Abstract elided by the publisher.
Related papers
- Automated Discovery of Tactic Libraries for Interactive Theorem Proving OOPSLA 2025
- Transforming Abstract Interpretations by Abstract Interpretation SAS 2008
- Abstract Interpretation over Infinite Abstract Domains (Tentative Report) APLAS 2001
- Can Abstract Interpretation Become a Mainstream Compiler Technology? (Abstract) SAS 1997
- Abstract non-interference: parameterizing non-interference by abstract interpretation POPL 2004
- Relating Distances and Abstractions - An Abstract Interpretation Perspective SAS 2025
- Structuring Abstract Interpreters Through State and Value Abstractions VMCAI 2017
- Abstract Interpreters for Free SAS 2010