Rafael del Vado Vírseda, Ignacio Castiñeiras. A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. In Santiago Escobar, editor, Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers. Volume 5979 of Lecture Notes in Computer Science, pages 162-178, Springer, 2009. [doi]
@inproceedings{VirsedaC09,
title = {A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions},
author = {Rafael del Vado Vírseda and Ignacio Castiñeiras},
year = {2009},
doi = {10.1007/978-3-642-11999-6_11},
url = {http://dx.doi.org/10.1007/978-3-642-11999-6_11},
tags = {functional programming, logic programming, debugging, logic, abstraction},
researchr = {https://researchr.org/publication/VirsedaC09},
cites = {0},
citedby = {0},
pages = {162-178},
booktitle = {Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers},
editor = {Santiago Escobar},
volume = {5979},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-11998-9},
}