NTI+cTI: a Logic Programming Termination Analyzer
Résumé
We describe NTI+cTI, our logic programming termination analyzer that took part
in the Termination Competition in 2022 and 2023 and won first place both years.
The tool is built from two separate components, NTI for Non-Termination Inference
and cTI for constraint-based Termination Inference, plus an overall main process.
The source code is available on GitHub.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|---|
Licence |