Static Detection of Loop-Invariant Data Structures
No abstract available.
Related papers
- Trace-Based Program Analysis POPL 1996
- Data Races and Static Analysis for Interrupt-Driven Kernels ESOP 2019
- SPEED: precise and efficient static estimation of program computational complexity POPL 2009
- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop CAV 2006
- Static and Dynamic Partitioning of Pointers as Links and Threads ICFP 1996
- Predicate abstraction for software verification POPL 2002
- The Automatic Detection of Token Structures and Invariants Using SAT Checking TACAS 2017
- A Data Driven Approach for Algebraic Loop Invariants ESOP 2013