Slicing as a program transformation.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Zedan, Hussein en
dc.contributor.author Ward, Martin en
dc.date.accessioned 2008-11-24T13:57:22Z
dc.date.available 2008-11-24T13:57:22Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/2086/271
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 (www.cse.dmu.ac.uk/STRL/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 http://doi.acm.org/10.1145/1216374.1216375 en
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record