A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A formal relationship between program slicing and partial evaluation
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