Dispel: A run-time debugging language

Authors:
Mark Scott Johnson
Affiliations:
Hewlett-Packard Co., Computer Research Center, 1501 Page Mill Road, Palo Alto, CA 94304, U.S.A.
Venue:
Computer Languages
Year:
1981

Citing 6
Cited 1

A Sampler of Formal Definitions

ACM Computing Surveys (CSUR)
Reversible execution

Communications of the ACM
The design of a high-level, language-independent symbolic debugging system

ACM '77 Proceedings of the 1977 annual conference
Revised ALGOL 68 syntax chart

ACM SIGPLAN Notices
BCPL: a tool for compiler writing and system programming

AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
EXDAMS: extendable debugging and monitoring system

AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference

A Dataflow Language for Scriptable Debugging

Proceedings of the 19th IEEE international conference on Automated software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Dispel is a language designed to aid communication between an interactive user and a run-time, symbolic debugging system. Important attributes of Dispel are that it provides a small set of primitive debugging actions, most traditional debugging aids (such as variable traces and postmortem dumps) are written in terms of these primitives as debugging routines, and Dispel serves both as an interactive debugging command language and as a special-purpose programming language. The syntax and semantics of Dispel are explained and examples of Dispel commands and routines are presented.