A debugger for a Meta-IV-like meta-language
The purpose of this paper is to report on the development of a debugging tool for a Meta-IV-like language. The tool consists of a static semantics checker and a debugger. The meta-language includes a subset of the DDC Meta-IV language, but with some simplifications and enhancements. A strong typing system was added to improve the static semantics checker. The debugger itself is quite powerful and includes features allowing (for example) invariants to be attached to breakpoints, objects and types. This paper explains why the debugger was developed, gives a short overview of the meta-language by comparing it to DDC Meta-IV, and presents some important features of the debugger.
KeywordsAbstract Syntax Source Text Strong Typing Execution Mode High Order Function
Unable to display preview. Download preview PDF.
- [Bjørner 78]D. Bjørner and C.B. Jones, editors. The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science no. 61, Springer Verlag, Berlin, 1978.Google Scholar
- [Craeynest 87]D. Craeynest, D. Kinnaes, W. De Bisschop, A. De Niel and K. De Vlaminck. A Metaprogramming Language based on Abstract Syntax — Language Description. CW report 57, Katholieke Universiteit Leuven, 1987.Google Scholar
- [DDC 85]N. Bleech, N. Botta and I.Ø. Hansen. Meta-IV Tool-set Abstract Syntax. Technical Report DDC 164/RPT/4, Dansk Datamatik Center, June 1985.Google Scholar
- [Gordon 79]M.J.C Gordon. The Denotational Description of Programming Languages, Springer Verlag, New York, 1978.Google Scholar
- [Jones 86]C.B. Jones. Systematic Software Development using VDM. Series in Computer Science, Prentice-Hall International, 1986.Google Scholar
- [Stoy 77]J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.Google Scholar