| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 436506 | Theoretical Computer Science | 2006 | 19 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
