|
|||||
|
|
A formal relationship between program slicing and partial evaluation |
|
| Authors: | David W. Binkley Sebastian Danicic Mark Harman John Howroyd Lahcen Ouarbya |
| Affiliation: | (1) Department of Computer Science, Loyola College, 4501 N. Charles Street, Baltimore, Maryland 21210-2699, USA;(2) Department of Computing, Goldsmiths College, University of London, New Cross, London, SE14 6NW, UK;(3) Software Engineering Group, Department of Computer Science, King's College London, Strand, London, WC2R 2LS, UK;(4) @UK PLC, 5 Jupiter House, Calleva Park, Aldermaston, Berkshire, RG7 8NN, UK |
| 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. Received May 2002 Revised Octber 2004 and July 2005 Accepted August 2005 by D. J. Cooke |
| Keywords: | Conditioned program slicing Partial evaluation |
| 本文献已被 SpringerLink 等数据库收录！ | |