Dave Binkley Sebastian Danicic Tibor Gyim othy Mark Harman Akos Kiss Lahcen...  Home/Search
Context
Related
| dcs.kcl.ac.uk/staff/mark/scam04t.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.kcl.ac.uk/staff/mark...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Active bibliography (related documents): More All
1.8: Formalizing Executable Dynamic and Forward Slicing - Binkley, Danicic, Gyimothy, .. (Correct)
0.3: Building Executable Union Slices using Conditioned Slicing - Danicic, De Lucia, Harman (2004) (Correct)
0.2: Predicate-Based Dynamic Slicing of Message Passing Programs - Rilling, Li (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ sebastian-formalizing,
author = "Dave Binkley Sebastian",
title = "Formalizing Executable Dynamic and Forward Slicing",
url = "citeseer.ist.psu.edu/754526.html" }
Citations (may not include all citations):140 Using program slicing in software maintenance - Gallagher, Lyle - 1991
131 Dynamic program slicing - Agrawal, Horgan - 1990
46 Amorphous program slicing - Harman, Binkley et al. - 2003
46 Amorphous program slicing - Harman, Danicic - 1997
41 The semantics of program dependence - Cartwright, Felleisen - 1989
40 Program slicing (context) - Binkley, Gallagher - 1996
37 Conditioned program slicing (context) - Canfora, Cimitile et al. - 1998
12 ACM Letters on Programming Languages and Systems (context) - Binkley, interprocedural - 1993
8 Dynamic program slicing based on dependence graphs (context) - Gopal - 1991
7 Dynamic slicing method for maintenance of large C programs - Beszedes, Gergely et al. - 2001
4 Vada: A transformation-based system for variable dependence .. - Harman, Fox et al. - 2002
4 Node coarsening calculi for program slicing - Harman, Hierons et al.
3 ConSIT: a fully automated conditioned program slicer (context) - Fox, Danicic et al. - 2004
2 Non--standard semantics for program slicing - Giacobazzi, Mastroeni - 2003
Documents on the same site (http://www.dcs.kcl.ac.uk/staff/mark/papers.html): More
Search-Based Software Engineering - Harman, Jones (2001) (Correct)
Backward Conditioning: a new program specialisation.. - Fox, Harman, Hierons.. (2001) (Correct)
Program Simplification as a Means of Approximating.. - Harman, Binkley.. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC