Dynamic slicing of lazy functional programs based on redex trails

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]

Abstract

Abstract is missing.