Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos and Korel, Bogdan. 2006. Theoretical foundations of dynamic program slicing. Theoretical Computer Science, 360(1-3), pp. 23-41. ISSN 03043975 [Article]

No full text available

Abstract or Description

This paper presents a theory of dynamic slicing, which reveals that the relationship between static and dynamic slicing is more subtle than previously thought. The definitions of dynamic slicing are formulated in terms of the projection theory of slicing. This shows that existing forms of dynamic slicing contain three orthogonal dimensions in their slicing criteria and allows for a lattice-theoretic study of the subsumption relationship between these dimensions and their relationship to static slicing formulations.

Item Type:	Article
Identification Number (DOI):	https://doi.org/10.1016/j.tcs.2006.01.012
Departments, Centres and Research Units:	Computing
Dates:	Date Event August 2006 Published
Item ID:	977
Date Deposited:	12 Mar 2009 15:41
Last Modified:	13 Jun 2016 12:33
Peer Reviewed:	Yes, this version has been peer-reviewed.
URI:	https://research.gold.ac.uk/id/eprint/977

Edit Record (login required)