Automated Termination Proofs for Java Programs with Cyclic Data
Abstract elided by the publisher.
Related papers
- Automatic cyclic termination proofs for recursive procedures in separation logic CPP 2017
- Cyclic proofs of program termination in separation logic POPL 2008
- Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants CPP 2015
- A termination analyzer for Java bytecode based on path-length TOPLAS 2010
- CycleQ: an efficient basis for cyclic equational reasoning PLDI 2022
- Cyclic Abduction of Inductively Defined Safety and Termination Preconditions SAS 2014
- Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs ESOP 2015
- Automated Modular Termination Proofs for Real Prolog Programs SAS 1996