Loop Summarization and Termination Analysis
No abstract available.
Related papers
- Summarizing procedures in concurrent programs POPL 2004
- A Categorical Basis for Robust Program Analysis PLDI 2026
- Loop Summarization with Rational Vector Addition Systems CAV 2019
- Interactive Abstract Interpretation with Demanded Summarization TOPLAS 2024
- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution) TACAS 2020
- Reflections on Termination of Linear Loops CAV 2021
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis POPL 2024