Formalizing executable dynamic and forward slicing

Dave Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Citations (Scopus)

Abstract

This paper uses a projection theory of slicing to formalize the definition of executable dynamic and forward program slicing. Previous definitions, when given, have been operational, and previous descriptions have been algorithmic. The projection framework is used to provide a declarative formulation in terms of the different equivalences preserved by the different forms of slicing. The analysis of dynamic slicing reveals that the slicing criterion introduced by Korel and Laski contains three inter-woven criteria. It is shown how these three conceptually distinct criteria can be disentangled to reveal two new criteria. The analysis of dynamic slicing also reveals that the subsumes relationship between static and dynamic slicing is more intricate that previous authors have claimed. Finally, the paper uses the projection theory to investigate theoretical properties of forward slicing. This is achieved by first re-formulating forward slicing to provide an executable forward slice. This definition allows for formal investigation of the relationship between forward and backward slicing.

Original languageEnglish
Title of host publicationProceedings - Fourth IEEE International Workshop on Source Code Analysis and Manipulation
PublisherIEEE Computer Society
Pages43-54
Number of pages12
ISBN (Print)0769521444, 9780769521442
DOIs
Publication statusPublished - Jan 1 2004
EventProceedings - Fourth IEEE International Workshop on Source Code Analysis and Manipulation - Chicago, IL, United States
Duration: Sep 15 2004Sep 16 2004

Publication series

NameProceedings - Fourth IEEE International Workshop on Source Code Analysis and Manipulation

Other

OtherProceedings - Fourth IEEE International Workshop on Source Code Analysis and Manipulation
CountryUnited States
CityChicago, IL
Period9/15/049/16/04

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Binkley, D., Danicic, S., Gyimóthy, T., Harman, M., Kiss, Á., & Ouarbya, L. (2004). Formalizing executable dynamic and forward slicing. In Proceedings - Fourth IEEE International Workshop on Source Code Analysis and Manipulation (pp. 43-54). (Proceedings - Fourth IEEE International Workshop on Source Code Analysis and Manipulation). IEEE Computer Society. https://doi.org/10.1109/SCAM.2004.13