Analysis of Loops
No abstract available.
Related papers
- Static Analysis of the Numerical Stability of Loops SAS 2002
- Loop Summarization and Termination Analysis TACAS 2011
- Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration SAS 2017
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models CGO 2009
- Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity ECOOP 2015
- Generalized profile-guided iterator recognition CC 2018
- Loop Parallelization using Dynamic Commutativity Analysis CGO 2021
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025