9 results
Fifty Years of Prolog and Beyond
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 17 May 2022, pp. 776-858
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Parallel Logic Programming: A Sequel
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 28 March 2022, pp. 905-973
-
- Article
- Export citation
Analysis and Transformation of Constrained Horn Clauses for Program Verification
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 15 November 2021, pp. 974-1042
-
- Article
-
- You have access
- Open access
- Export citation
VeriFly: On-the-fly Assertion Checking via Incrementality
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 02 November 2021, pp. 768-784
-
- Article
- Export citation
Incremental and Modular Context-sensitive Analysis
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 2 / March 2021
- Published online by Cambridge University Press:
- 19 January 2021, pp. 196-243
-
- Article
- Export citation
Semantic code browsing*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 721-737
-
- Article
- Export citation
Practical run-time checking via unobtrusive property caching
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 726-741
-
- Article
- Export citation
Lightweight compilation of (C)LP to JavaScript*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 755-773
-
- Article
- Export citation
Parallel backtracking with answer memoing for independent and-parallelism
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 555-574
-
- Article
- Export citation