A Systematic Construction of Abstract Domains
Abstract elided by the publisher.
Related papers
- A Few Graph-Based Relational Numerical Abstract Domains SAS 2002
- Systematic Construction of Abstractions for Model-Checking VMCAI 2006
- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces ESOP 2023
- Spiral in scala: towards the systematic construction of generators for performance libraries GPCE 2013
- Complementation in Abstract Interpretation TOPLAS 1997
- Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE SLE 2022
- Certified Abstract Interpretation with Pretty-Big-Step Semantics CPP 2015
- Systematic design of program transformation frameworks by abstract interpretation POPL 2002