Show simple item record

dc.contributor.authorZedan, Husseinen
dc.contributor.authorWard, Martinen
dc.identifier.citationZedan, H. and Ward, M. (2007) Slicing as a program transformation. ACM Transactions on Programming Languages and Systems (TOPLAS), 29(2), pp. 1-52.
dc.descriptionThis 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.subjectRAE 2008
dc.subjectUoA 23 Computer Science and Informatics
dc.titleSlicing as a program transformation.en
dc.researchgroupSoftware Technology Research Laboratory (STRL)

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record