A formal relationship between program slicing and partial evaluation

作者：Binkley David W; Danicic Sebastian; Harman Mark^*; Howroyd John; Ouarbya Lahcen

来源：Formal Aspects of Computing, 2006, 18(2): 103-119.

DOI：10.1007/s00165-0077-6

• conditioned program slicing
• 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.

• 出版日期2006-6