An Experiment in Type Inference and Verification by Abstract Interpretation
No abstract available.
Related papers
- Type-based data structure verification PLDI 2009
- Verification of high-level transformations with inductive refinement types GPCE 2018
- Predicate abstraction for software verification POPL 2002
- Regular language type inference with term rewriting ICFP 2020
- Data flow refinement type inference POPL 2021
- The type inference and coercion facilities in the scratchpad II interpreter PLDI 1987
- More Precise Yet Efficient Type Inference for Logic Programs SAS 2002
- An abstract interpretation framework for termination POPL 2012