A formal relationship between program slicing and partial evaluation
Binkley, Dave; Danicic, Sebastian; Harman, Mark; Howroyd, John; and Ouarbya, Lahcen.
2006.
A formal relationship between program slicing and partial evaluation.
Formal Aspects of Computing, 18(2),
pp. 103-119.
ISSN 09345043
[Article]
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.
Item Type | Article |
---|---|
Departments, Centres and Research Units | Computing |
Date Deposited | 12 Mar 2009 15:41 |
Last Modified | 20 Jun 2017 11:22 |