Affiliation:
1. Fachgebiet Programmiersprachen and Ubersetzer II, Fachbereich Informatik, Technische Hochschule Darmstadt, Magdalenenstr. 11c, D-61 Darmstadt, West Germany
Abstract
We present a system which generates interactive high-level debugging systems from formal language definitions. The language definer has to specify a denotational semantics augmented with a formal description of the language specific debugging facilities. The generated debugger offers the traditional features such as tracing programs, setting breakpoints, displaying variables etc; interaction with the user is always on language level rather than on machine level. The concept has been implemented as part of the PSG-Programming System Generator, and has successfully been used to generate debuggers for Pascal and Modula-2. The core of the implementation consists of an interpreter for a functional language, which has been extended with the language-independent mechanisms needed in order to allow interaction with the user during program execution.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference9 articles.
1. The PSG system: from formal language definitions to interactive programming environments
2. [
5
] Mosses P.: SIS - Semantics Implementation System. Reference Manual and User's Guide. Report DAIMI MD-30 Aarhus University (August 1979). [5] Mosses P.: SIS - Semantics Implementation System. Reference Manual and User's Guide. Report DAIMI MD-30 Aarhus University (August 1979).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献