A debugger for a Meta-IV-like meta-language

  • D. Kinnaes
  • K. De Vlaminck
Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)


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.


Abstract Syntax Source Text Strong Typing Execution Mode High Order Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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
  2. [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
  3. [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
  4. [Gordon 79]
    M.J.C Gordon. The Denotational Description of Programming Languages, Springer Verlag, New York, 1978.Google Scholar
  5. [Jones 86]
    C.B. Jones. Systematic Software Development using VDM. Series in Computer Science, Prentice-Hall International, 1986.Google Scholar
  6. [Stoy 77]
    J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • D. Kinnaes
    • 1
  • K. De Vlaminck
    • 1
  1. 1.Department of Computer ScienceKatholieke Universiteit LeuvenUSA

Personalised recommendations