Research Online

Logo

Goldsmiths - University of London

Theoretical foundations of dynamic program slicing

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:

DateEvent
August 2006Published

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:

http://research.gold.ac.uk/id/eprint/977

Edit Record Edit Record (login required)