Automatic Inference of Heap Properties Exploiting Value Domains
No abstract available.
Related papers
- Inferring frame conditions with static correlation analysis POPL 2019
- A generic annotation inference algorithm for the safety certification of automatically generated code GPCE 2006
- SPPL: probabilistic programming with fast exact symbolic inference PLDI 2021
- Automatic Type Inference for Amortised Heap-Space Analysis ESOP 2013
- Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists SAS 2013
- Static Inference of Properties of Applicative Programs POPL 1984
- Exploiting the input sparsity to accelerate deep neural networks: poster PPoPP 2019
- Parametric heap usage analysis for functional programs ISMM 2009