2 papers
cs.PL2014
Towards Assertion-based Debugging of Higher-Order (C)LP Programs
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Higher-order constructs extend the expressiveness of first-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been i…
cs.PL2014
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Higher-order constructs extend the expressiveness of first-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been i…