30 results
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 31 October 2024, pp. 1-20
-
- Article
-
- You have access
- Open access
- HTML
- 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
Integrating Cardinality Constraints into Constraint Logic Programming with Sets
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 2 / March 2023
- Published online by Cambridge University Press:
- 09 November 2021, pp. 468-502
-
- Article
-
- You have access
- Export citation
Applying Constraint Logic Programming to SQL Semantic Analysis
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 808-825
-
- Article
- Export citation
Solving Horn Clauses on Inductive Data Types Without Induction
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 452-469
-
- Article
-
- You have access
- Export citation
Performing fully parallel constraint logic programming on a quantum annealer
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 5-6 / September 2018
- Published online by Cambridge University Press:
- 06 May 2018, pp. 928-949
-
- Article
-
- You have access
- Export citation
Predicate Pairing for program verification
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 2 / March 2018
- Published online by Cambridge University Press:
- 04 December 2017, pp. 126-166
-
- Article
- Export citation
Proving correctness of imperative programs by linearizing constrained Horn clauses
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 635-650
-
- Article
- Export citation
CLP(H): Constraint logic programming for hedges*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 2 / March 2016
- Published online by Cambridge University Press:
- 16 April 2015, pp. 141-162
-
- Article
- Export citation
Autonomous agents coordination: Action languages meet CLP($\mathcal {FD}$) and Linda*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 24 September 2012, pp. 149-173
-
- Article
- Export citation
A Transformation-based implementation for CLP with qualification and proximity*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 1 / January 2014
- Published online by Cambridge University Press:
- 25 April 2012, pp. 1-63
-
- Article
- Export citation
Optimal placement of valves in a water distribution network with CLP(FD)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 731-747
-
- Article
- Export citation
Solving functional constraints by variable substitution
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 2-3 / March 2011
- Published online by Cambridge University Press:
- 04 February 2011, pp. 297-322
-
- Article
- Export citation
Test case generation for object-oriented imperative languages in CLP*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 659-674
-
- Article
- Export citation
Logic–based decision support for strategic environmental assessment
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 643-658
-
- Article
- Export citation
CLP-based protein fragment assembly*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 709-724
-
- Article
- Export citation
A declarative semantics for CLP with qualification and proximity*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 627-642
-
- Article
- Export citation
Multivalued action languages with constraints in CLP(FD)1
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 2 / March 2010
- Published online by Cambridge University Press:
- 18 February 2010, pp. 167-235
-
- Article
- Export citation
A non-termination criterion for binary constraint logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 18 February 2009, pp. 145-164
-
- Article
- Export citation