Generic Techniques for Source-Level Debugging and Dynamic Program Slicing (1994)
| Venue: | In Proceedings of the Sixth International Joint Conference on Theory and Practice of Software Development (Aarhus |
| Citations: | 10 - 5 self |
BibTeX
@INPROCEEDINGS{Tip94generictechniques,
author = {Frank Tip},
title = {Generic Techniques for Source-Level Debugging and Dynamic Program Slicing},
booktitle = {In Proceedings of the Sixth International Joint Conference on Theory and Practice of Software Development (Aarhus},
year = {1994},
pages = {516--530},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Algebraic specifications have been used successfully as a formal basis for software development. The contribution of this paper is to show that the origin and dynamic dependence relations that are implicitly defined by an algebraic specification can be used to define powerful language-specific tools. In particular, it is shown how tools for source-level debugging and dynamic program slicing can be derived from algebraic specifications of interpreters. 1991 Mathematics Subject Classification: 68N20 [Software]: Compilers and generators, 68Q55 [Theory of computing]: Semantics, 68Q65 [Theory of computing]: Abstract data types; algebraic specification. 1991 CR Categories: D.2.5 [Software engineering]: Testing and debugging, D.2.6 [Software engineering]: Programming environments, F.3.2 [Logics and meanings of programs]: Semantics of programming languages. Keywords & Phrases: Debugging, program slicing, dynamic slicing, interpreters, programming environments, origin tracking, dynamic depend...
