Sciweavers

Share
FAC
2006

A formal relationship between program slicing and partial evaluation

11 years 9 months ago
A formal relationship between program slicing and partial evaluation
A formal relationship between program slicing and partial evaluation is established. It is proved that for terminating programs, a residual program produced by partial evaluation is semantically equivalent to a conditioned slice.
David Binkley, Sebastian Danicic, Mark Harman, Joh
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where FAC
Authors David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
Comments (0)
books