12 results
Transformation-Enabled Precondition Inference
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 23 September 2021, pp. 700-716
-
- Article
- Export citation
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
Horn clauses as an intermediate representation for program analysis and transformation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 526-542
-
- Article
-
- You have access
- Export citation
Stable model semantics for founded bounds
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 517-532
-
- Article
- Export citation
Failure tabled constraint logic programming by interpolation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 593-607
-
- Article
- Export citation
HM(X) type inference is CLP(X) solving
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 251-283
-
- Article
-
- You have access
- Export citation
Constraint Logic Programming using ECLiPSeKrzysztof Apt and Mark Wallace Cambridge University Press, 2007 Hardback: ISBN 9780521866286, Price: £35, 348 pages.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 242-246
-
- Article
- Export citation
Logic programming with satisfiability
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 01 January 2008, pp. 121-128
-
- Article
- Export citation
Understanding functional dependencies via constraint handling rules
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 1 / January 2007
- Published online by Cambridge University Press:
- 01 January 2007, pp. 83-129
-
- Article
-
- You have access
- Export citation
Improving PARMA trailing
-
- Journal:
- Theory and Practice of Logic Programming / Volume 6 / Issue 6 / November 2006
- Published online by Cambridge University Press:
- 16 October 2006, pp. 609-644
-
- Article
- Export citation
Checking modes of HAL programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 6 / November 2005
- Published online by Cambridge University Press:
- 31 October 2005, pp. 623-667
-
- Article
- Export citation
Optimizing compilation of constraint handling rules in HAL
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 4-5 / July 2005
- Published online by Cambridge University Press:
- 01 July 2005, pp. 503-531
-
- Article
- Export citation