Detecting Optimal Termination Conditions of Logic Programs
No abstract available.
DOI 10.1007/3-540-45789-5_35
Related papers
- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs SAS 2001
- Nontermination inference of logic programs TOPLAS 2006
- Adoption protocols for fanout-optimal fault-tolerant termination detection PPoPP 2013
- Constraint-based termination analysis of logic programs TOPLAS 1999
- Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants POPL 2026
- Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting CAV 2021
- Resilient decentralized Android application repackaging detection using logic bombs CGO 2018
- Program transformations using temporal logic side conditions TOPLAS 2009