A formal relationship between program slicing and partial evaluation
David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya · Formal Aspects of Computing · 2006
Abstract 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.