Slicing as a program transformation.
| 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.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.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.doi | https://doi.org/10.1145/1216374.1216375 | |
| dc.identifier.issn | 0164-0925 | en |
| dc.identifier.uri | http://hdl.handle.net/2086/271 | |
| dc.language.iso | en | en |
| dc.publisher | ACM | en |
| dc.researchgroup | Software Technology Research Laboratory (STRL) | |
| dc.subject | RAE 2008 | |
| dc.subject | UoA 23 Computer Science and Informatics | |
| dc.title | Slicing as a program transformation. | en |
| dc.type | Article | en |