Slicing as a program transformation.
Date
2007-04-01
Authors
Advisors
Journal Title
Journal ISSN
ISSN
0164-0925
Volume Title
Publisher
ACM
Type
Article
Peer reviewed
Abstract
Description
This paper was described as "seminal" by ACM TOPLAS reviewers and Editors. It provides a unified mathematical framework for program slicing which places ALL slicing work, for sequential programs, on a sound theoretical foundation. In fact the mathematics provides a sound basis for ANY particular representation; every known kind of program slicing is defined in terms of this mathematical framework. The paper also describes the implementation of several slicing algorithms in the FermaT Transformation System, part of SML UTC (www.cse.dmu.ac.uk/STRL/utc/ ).
Keywords
RAE 2008, UoA 23 Computer Science and Informatics
Citation
Zedan, H. and Ward, M. (2007) Slicing as a program transformation. ACM Transactions on Programming Languages and Systems (TOPLAS), 29(2), pp. 1-52.