A formal relationship between program slicing and partial evaluation

  • Authors:

  • David W. Binkley;Sebastian Danicic;Mark Harman;John Howroyd;Lahcen Ouarbya

  • Affiliations:

  • Department of Computer Science, Loyola College, 4501 N. Charles Street, 21210-2699, Baltimore, Maryland, USA;Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, Maryland, UK;Software Engineering Group, Department of Computer Science, King's College London, New Cross, WC2R 2LS, London, Strand, UK;@UK PLC, 5 Jupiter House, Calleva Park, RG7 8NN, Aldermaston, Berkshire, UK;Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, Maryland, UK

  • Venue:
  • Formal Aspects of Computing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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.