Automated Termination Analysis for Programs with Second-Order Recursion
No abstract available.
Related papers
- Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination APLAS 2021
- On probabilistic termination of functional programs with continuous distributions PLDI 2021
- Iso-Recursive Multiparty Sessions and their Automated Verification ESOP 2025
- HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution) TACAS 2017
- Automated termination proofs for haskell by term rewriting TOPLAS 2011
- Automated Expected Value Analysis of Recursive Programs PLDI 2023
- Higher-Order LCTRSs and Their Termination ESOP 2024
- New Approaches for Almost-Sure Termination of Probabilistic Programs APLAS 2018