Reuse of Results in Termination Analysis of Typed Logic Programs
No abstract available.
Related papers
- Termination analysis for evolving programs: an incremental approach by reusing certified modules OOPSLA 2020
- Termination analysis of logic programs through combination of type-based norms TOPLAS 2007
- Constraint-based termination analysis of logic programs TOPLAS 1999
- Inference of Well-Typings for Logic Programs with Application to Termination Analysis SAS 2005
- Live-Structure Dataflow Analysis for Prolog TOPLAS 1994
- Termination and non-termination specification inference PLDI 2015
- Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory OOPSLA 2025
- Higher-Order LCTRSs and Their Termination ESOP 2024