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]

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:

DateEvent
May 2006Published

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 Edit Record (login required)