Failure tabled constraint logic programming by interpolation
From MaRDI portal
Publication:5398297
DOI10.1017/S1471068413000379zbMath1286.68043DBLPjournals/tplp/GangeNSSS13OpenAlexW2152826349WikidataQ57664998 ScholiaQ57664998MaRDI QIDQ5398297
Jorge A. Navas, Peter Schachte, Graeme Gange, Peter J. Stuckey, Harald Søndergaard
Publication date: 27 February 2014
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068413000379
Related Items (4)
Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP ⋮ Horn clause verification with convex polyhedral abstraction and tree automata-based refinement ⋮ Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
Uses Software
Cites Work
This page was built for publication: Failure tabled constraint logic programming by interpolation