Claudio Ochoa, Josep Silva, Germán Vidal. Dynamic slicing of lazy functional programs based on redex trails. Higher-Order and Symbolic Computation, 21(1-2):147-192, 2008. [doi]
@article{OchoaSV08,
title = {Dynamic slicing of lazy functional programs based on redex trails},
author = {Claudio Ochoa and Josep Silva and Germán Vidal},
year = {2008},
doi = {10.1007/s10990-008-9023-7},
url = {http://dx.doi.org/10.1007/s10990-008-9023-7},
tags = {laziness, rule-based, functional programming, slicing},
researchr = {https://researchr.org/publication/OchoaSV08},
cites = {0},
citedby = {0},
journal = {Higher-Order and Symbolic Computation},
volume = {21},
number = {1-2},
pages = {147-192},
}