A formal relationship between program slicing and partial evaluation

David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
2006 Formal Aspects of Computing  
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.
doi:10.1007/s00165-005-0077-6 fatcat:c43xac2ozffefd6belw73jxcoq