N. Stulova, J. F. Morales, Manuel Hermenegildo. An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. Num. CLIP-1/2014.0, pages 26, The CLIP Lab, January 2014. CoRR abs/1404.4246 [cs.PL].
N. Stulova, J. F. Morales, Manuel Hermenegildo. An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. Num. CLIP-1/2014.0, pages 26, The CLIP Lab, January 2014. CoRR abs/1404.4246 [cs.PL].