Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

TAPSOFT
1995
Springer

favoriteEmaildiscussreport

102views Software Engineering» more TAPSOFT 1995»

Generic Techniques for Source-Level Debugging and Dynamic Program Slicing

13 years 8 months ago

Generic Techniques for Source-Level Debugging and Dynamic Program Slicing

Download domino.research.ibm.com

Algebraic speciﬁcations have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly deﬁned by an algebraic speciﬁcation can be used to deﬁne powerful language-speciﬁc tools. In particular, the generation of tools for source-level debugging and dynamic program slicing from speciﬁcations of interpreters will be addressed.

Frank Tip

Real-time Traffic

Algebraic Speciﬁcation | Dynamic Dependence Relations | Powerful Language-speciﬁc Tools | Software Engineering | TAPSOFT 1995 |

claim paper

Related Content

» Dynamic Slicing ObjectOriented Programs for Debugging

» DependenceCache Slicing A Program Slicing Method Using Lightweight Dynamic Information

» Correctness of SourceLevel Safety Policies

» Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing

» Memory slicing

» Locating faulty code using failureinducing chops

» Program Slicing Tool for Effective Software Evolution Using AspectOriented Technique

» Transparent Debugging of Dynamically Optimized Code

» Dynamic slicing based on redex trails

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	TAPSOFT
Authors	Frank Tip

Comments (0)