Show simple item record

dc.contributor.authorZedan, Husseinen
dc.contributor.authorWard, Martinen
dc.date.accessioned2008-11-24T13:57:22Z
dc.date.available2008-11-24T13:57:22Z
dc.date.issued2007-04-01en
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.identifier.issn0164-0925en
dc.identifier.urihttp://hdl.handle.net/2086/271
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 (www.cse.dmu.ac.uk/STRL/utc/ ).en
dc.language.isoenen
dc.publisherACMen
dc.subjectRAE 2008
dc.subjectUoA 23 Computer Science and Informatics
dc.titleSlicing as a program transformation.en
dc.typeArticleen
dc.identifier.doihttps://doi.org/10.1145/1216374.1216375en
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record