Slicing as a program transformation.
In: Zedan, H. and Ward, M. (2007) Slicing as a program transformation. ACM Transactions on Programming Languages and Systems (TOPLAS), 29(2), 2007, S. 1-52
Online
academicJournal
Zugriff:
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/ ).
| Titel: |
Slicing as a program transformation.
|
|---|---|
| Autor/in / Beteiligte Person: | Zedan, Hussein ; Ward, Martin |
| Link: | |
| Zeitschrift: | Zedan, H. and Ward, M. (2007) Slicing as a program transformation. ACM Transactions on Programming Languages and Systems (TOPLAS), 29(2), 2007, S. 1-52 |
| Veröffentlichung: | ACM, 2007 |
| Medientyp: | academicJournal |
| ISSN: | 0164-0925 (print) |
| DOI: | 10.1145/1216374.1216375 |
| Schlagwort: |
|
| Sonstiges: |
|