Ranking Abstraction of Recursive Programs
No abstract available.
Related papers
- Class-Dictionary Specialization with Rank-2 Polymorphic Functions OOPSLA 2026
- Implicit Rankings for Verifying Liveness Properties in First-Order Logic TACAS 2025
- Non-polynomial Worst-Case Analysis of Recursive Programs TOPLAS 2019
- Non-polynomial Worst-Case Analysis of Recursive Programs CAV 2017
- Generic Unification via Two-Level Types and Parameterized Modules ICFP 2001
- Intrinsically Correct Algorithms and Recursive Coalgebras PLDI 2026
- Ranking functions for size-change termination TOPLAS 2009
- The Abstract Domain of Segmented Ranking Functions SAS 2013