Lazy Constrained Monotonic Abstraction
Abstract elided by the publisher.
Related papers
- The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language JFP 1996
- Generating constrained random data with uniform distribution JFP 2015
- Higher-order constrained horn clauses for verification POPL 2018
- IntelliGen: Instruction-Level Auto-tuning for Tensor Program with Monotonic Memory Optimization CGO 2025
- Heap compression for memory-constrained Java environments OOPSLA 2003
- Monotonic Abstraction-Refinement for CTL TACAS 2004
- Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions VMCAI 2008
- Monotonic Abstraction for Programs with Dynamic Memory Heaps CAV 2008