Synthesizing Heap Manipulations via Integer Linear Programming
No abstract available.
Related papers
- Automatic numeric abstractions for heap-manipulating programs POPL 2010
- Structuring the synthesis of heap-manipulating programs POPL 2019
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Synthesizing MILP Constraints for Efficient and Robust Optimization PLDI 2023
- On the linear ranking problem for integer linear-constraint loops POPL 2013
- Solving Program Sketches with Large Integer Values TOPLAS 2022
- Solving Program Sketches with Large Integer Values ESOP 2020
- Static prediction of heap space usage for first-order functional programs POPL 2003