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]

No full text available

Abstract or Description

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
Identification Number (DOI):	https://doi.org/10.1007/s00165-005-0077-6
Departments, Centres and Research Units:	Computing
Dates:	Date Event May 2006 Published
Item ID:	975
Date Deposited:	12 Mar 2009 15:41
Last Modified:	20 Jun 2017 11:22
Peer Reviewed:	Yes, this version has been peer-reviewed.
URI:	https://research.gold.ac.uk/id/eprint/975

Edit Record (login required)