Assertion-based Debugging of Higher-Order (C)LP Programs.

Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo

Browse the full PPDP paper archive.