Export: Assertion-based debugging of higher-order (C)LP programs
Stulova, Nataliia and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2014). Assertion-based debugging of higher-order (C)LP programs. In: "16th International Symposium on Principles and Practice of Declarative Programming", 08-10 Sep 2014, Canterbury, Reino Unido. ISBN 978-1-4503-2947-7. pp. 225-235. https://doi.org/10.1145/2643135.2643148.
Please select an output format:
