Compact Difference Bound Matrices
No abstract available.
Related papers
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints VMCAI 2007
- Exploiting Sparsity in Difference-Bound Matrices SAS 2016
- Strided Difference Bound Matrices CAV 2024
- Generating piecewise-regular code from irregular structures PLDI 2019
- Limitations of Partial Compaction: Towards Practical Bounds TOPLAS 2017
- Limitations of partial compaction: towards practical bounds PLDI 2013
- Space overhead bounds for dynamic memory management with partial compaction POPL 2011
- Space overhead bounds for dynamic memory management with partial compaction TOPLAS 2012