Towards Assertion-based Debugging of Higher-Order (C) LP Programs
N Stulova, JF Morales, MV Hermenegildo - arXiv preprint arXiv:1405.7898, 2014 - arxiv.org
Higher-order constructs extend the expressiveness of first-order (Constraint) Logic
Programming ((C) LP) both syntactically and semantically. At the same time assertions have …
Programming ((C) LP) both syntactically and semantically. At the same time assertions have …