Sciweavers

Share
DAGSTUHL
1996

Program Specialization via Program Slicing

9 years 1 months ago
Program Specialization via Program Slicing
This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is different from the specialization operations performed by algorithms for partial evaluation, supercompilation, bifurcation, and deforestation. To study the relationship between slicing and these operations in a simplified setting, we consider the problem of slicing functional programs. We identify two different goals for what we mean by "slicing a functional program" and give algorithms that correspond to each of them.
Thomas W. Reps, Todd Turnidge
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1996
Where DAGSTUHL
Authors Thomas W. Reps, Todd Turnidge
Comments (0)
books