3 results
An iterative approach to precondition inference using constrained Horn clauses
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 553-570
-
- Article
-
- You have access
- Export citation
RedAlert: Determinacy inference for Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 537-553
-
- Article
- Export citation
Inferring termination conditions for logic programs using backwards analysis
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 1-2 / January 2005
- Published online by Cambridge University Press:
- 10 January 2005, pp. 75-91
-
- Article
- Export citation