Deciding Conditional Termination
No abstract available.
Related papers
- Reachability Analysis for Termination and Confluence of Rewriting TACAS 2019
- Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants CPP 2015
- Correctness of Binding-Time Analysis JFP 1993
- Automated Termination Analysis of Polynomial Probabilistic Programs ESOP 2021
- Syntax-Guided Termination Analysis CAV 2018
- Termination of Triangular Integer Loops is Decidable CAV 2019
- On probabilistic termination of functional programs with continuous distributions PLDI 2021
- Conflict-Driven Conditional Termination CAV 2015