Generic Techniques for Source-Level Debugging and Dynamic Program Slicing

Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly defined by an algebraic specification can be used to define powerful language-specific tools. In particular, the generation of tools for source-level debugging and dynamic program slicing from specifications of interpreters will be addressed.

• Type: Conference
• Year: 1995
• Where: TAPSOFT
• Authors: Frank Tip
• Keywords: Algebraic Specification, Dynamic Dependence Relations, Powerful Language-specific Tools, Software Engineering, TAPSOFT 1995