A Formal Relationship Between Program Slicing and Partial Evaluation

David Binkley; Sebastian Danicic; Mark Harman; John Howroyd; Lahcen Ouarbya

doi:10.1007/s00165-005-0077-6

A Formal Relationship Between Program Slicing and Partial Evaluation

David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya

Research output: Contribution to journal › Article › peer-review

7 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	103 - 119
Number of pages	17
Journal	FORMAL ASPECTS OF COMPUTING
Volume	18
Issue number	2
DOIs	https://doi.org/10.1007/s00165-005-0077-6
Publication status	Published - 2006

Access to Document

10.1007/s00165-005-0077-6

Cite this

@article{ca2ed37e04904ee1803ceb0dc7de62a3,

title = "A Formal Relationship Between Program Slicing and Partial Evaluation",

abstract = "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.",

author = "David Binkley and Sebastian Danicic and Mark Harman and John Howroyd and Lahcen Ouarbya",

year = "2006",

doi = "10.1007/s00165-005-0077-6",

language = "English",

volume = "18",

pages = "103 -- 119",

journal = "FORMAL ASPECTS OF COMPUTING",

publisher = "Springer London",

number = "2",

}

TY - JOUR

T1 - A Formal Relationship Between Program Slicing and Partial Evaluation

AU - Binkley, David

AU - Danicic, Sebastian

AU - Harman, Mark

AU - Howroyd, John

AU - Ouarbya, Lahcen

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

U2 - 10.1007/s00165-005-0077-6

DO - 10.1007/s00165-005-0077-6

M3 - Article

VL - 18

SP - 103

EP - 119

JO - FORMAL ASPECTS OF COMPUTING

JF - FORMAL ASPECTS OF COMPUTING

IS - 2

ER -

A Formal Relationship Between Program Slicing and Partial Evaluation

Abstract

Access to Document

Fingerprint

Cite this