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.

• Type: Journal
• Year: 2006
• Where: FAC
• Authors: David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
• Keywords: FAC 2006, Formal Relationship, Partial Evaluation, Residual Program