Automated Modular Termination Proofs for Real Prolog Programs
Abstract elided by the publisher.
Related papers
- Automated termination proofs for haskell by term rewriting TOPLAS 2011
- Nagini: A Static Verifier for Python CAV 2018
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Automated Termination Proofs for Java Programs with Cyclic Data CAV 2012
- Non-termination Proving at Scale OOPSLA 2024
- Decision Procedures for Automating Termination Proofs VMCAI 2011
- Bit-Precise Procedure-Modular Termination Analysis TOPLAS 2018
- Automated Termination Analysis of Polynomial Probabilistic Programs ESOP 2021