Advertisement

Formal Aspects of Computing

, Volume 18, Issue 2, pp 103–119 | Cite as

A formal relationship between program slicing and partial evaluation

  • David W. Binkley
  • Sebastian Danicic
  • Mark HarmanEmail author
  • John Howroyd
  • Lahcen Ouarbya
Article

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.

Keywords

Conditioned program slicing Partial evaluation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 2006

Authors and Affiliations

  • David W. Binkley
    • 1
  • Sebastian Danicic
    • 2
  • Mark Harman
    • 3
    Email author
  • John Howroyd
    • 4
  • Lahcen Ouarbya
    • 2
  1. 1.Department of Computer ScienceLoyola CollegeBaltimoreUSA
  2. 2.Department of Computing, Goldsmiths CollegeUniversity of LondonLondonUK
  3. 3.Software Engineering Group, Department of Computer ScienceKing's College LondonLondonUK
  4. 4.@UK PLCAldermastonUK

Personalised recommendations