Slicing as a program transformation.

De Montfort University Open Research Archive

Show simple item record Zedan, Hussein en Ward, Martin en 2008-11-24T13:57:22Z 2008-11-24T13:57:22Z 2007-04-01 en
dc.identifier.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.
dc.identifier.issn 0164-0925 en
dc.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 ( ). en
dc.language.iso en en
dc.publisher ACM en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.title Slicing as a program transformation. en
dc.type Article en
dc.identifier.doi en
dc.researchgroup Software Technology Research Laboratory (STRL)

Files in this item

This item appears in the following Collection(s)

Show simple item record