Properties of a Type Abstract Interpreter
No abstract available.
Related papers
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
- Types as Abstract Interpretations POPL 1997
- Static Inference of Properties of Applicative Programs POPL 1984
- Verification of high-level transformations with inductive refinement types GPCE 2018
- Property Directed Abstract Interpretation VMCAI 2016
- Property Checking Driven Abstract Interpretation-Based Static Analysis VMCAI 2003
- Abstract Interpretation of CTL Properties SAS 2018
- HMC: Verifying Functional Programs Using Abstract Interpreters CAV 2011