Termination Analysis with Calling Context Graphs
Abstract elided by the publisher.
Related papers
- Termination analysis and call graph construction for higher-order functional programs ICFP 2007
- A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction CC 2024
- Program termination analysis in polynomial time TOPLAS 2007
- Call graphs for languages with parametric polymorphism OOPSLA 2016
- Higher-Order Demand-Driven Program Analysis ECOOP 2016
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams PLDI 2004
- Scalable context-sensitive flow analysis using instantiation constraints PLDI 2000
- A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction ECOOP 2024