N. Stulova, J. F. Morales, Manuel Hermenegildo. Assertion-based Debugging of Higher-Order (C)LP Programs. 16th Int’l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP’14), pages 15, ACM Press, September 2014.
N. Stulova, J. F. Morales, Manuel Hermenegildo. Assertion-based Debugging of Higher-Order (C)LP Programs. 16th Int’l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP’14), pages 15, ACM Press, September 2014.