Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes
No abstract available.
Related papers
- Limits and Difficulties in the Design of Under-Approximation Abstract Domains TOPLAS 2024
- A Logical Product Approach to Zonotope Intersection CAV 2010
- Symbolic transfer function-based approaches to certified compilation POPL 2004
- Abstract acceleration of general linear loops POPL 2014
- The type inference and coercion facilities in the scratchpad II interpreter PLDI 1987
- Lifting abstract interpreters to quantified logical domains POPL 2008
- Logics for Extensional, Locally Complete Analysis via Domain Refinements ESOP 2023
- Implementing Theorem Provers in a Purely Functional Style JFP 1999