TermiLog: A System for Checking Termination of Queries to Logic Programs
Abstract elided by the publisher.
Related papers
- Nontermination inference of logic programs TOPLAS 2006
- Mode and Termination Checking for Higher-Order Logic Programs ESOP 1996
- Semantics of static pointcuts in aspectJ POPL 2007
- An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs TOPLAS 1998
- POPACheck: A Model Checker for Probabilistic Pushdown Automata CAV 2025
- Bringing LTL Model Checking to Biologists VMCAI 2017
- HFL(Z) Validity Checking for Automated Program Verification POPL 2023
- VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints OOPSLA 2024