Summary: Dynamic Slicing Based on Redex Trails
Claudio Ochoa
DSIC, T.U. Valencia
Camino de Vera s/n
46022 Valencia, Spain
cochoa@dsic.upv.es
Josep Silva
DSIC, T.U. Valencia
Camino de Vera s/n
46022 Valencia, Spain
jsilva@dsic.upv.es
Germ´an Vidal
DSIC, T.U. Valencia
Camino de Vera s/n
46022 Valencia, Spain
gvidal@dsic.upv.es
ABSTRACT
Tracing computations is a widely used methodology for pro-
gram debugging. Lazy languages, in particular, pose new
demands on tracing techniques since following the actual

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València
Vidal, Germán - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

Collections: Computer Technologies and Information Sciences