A Region Graph Based Approach to Termination Proofs
No abstract available.
Related papers
- Local Reasoning for Global Graph Properties ESOP 2020
- An Isabelle/HOL formalization of AProVE's termination method for LLVM IR CPP 2021
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach CAV 2019
- Static prediction of parallel computation graphs POPL 2022
- Termination Analysis with Calling Context Graphs CAV 2006
- Region-based hierarchical operation partitioning for multicluster processors PLDI 2003
- A Region Inference Algorithm TOPLAS 1998
- Compositional Pointer and Escape Analysis for Java Programs OOPSLA 1999