Inference of Well-Typings for Logic Programs with Application to Termination Analysis
No abstract available.
Related papers
- Constraint-based termination analysis of logic programs TOPLAS 1999
- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs SAS 2001
- Analysis of Markov Jump Processes under Terminal Constraints TACAS 2021
- Termination analysis of logic programs through combination of type-based norms TOPLAS 2007
- Nontermination inference of logic programs TOPLAS 2006
- Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis POPL 1994
- First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination ICFP 2026
- Reuse of Results in Termination Analysis of Typed Logic Programs SAS 2002