[go: up one dir, main page]
Skip to main content
SpringerLink
Log in

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

  • Reports
  • Conference paper
  • First Online:
VDM'91 Formal Software Development Methods (VDM 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 551))

Included in the following conference series:

  • 108 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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. 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. 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. M.J.C Gordon. The Denotational Description of Programming Languages, Springer Verlag, New York, 1978.

    Google Scholar 

  5. C.B. Jones. Systematic Software Development using VDM. Series in Computer Science, Prentice-Hall International, 1986.

    Google Scholar 

  6. J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Katholieke Universiteit Leuven, USA

    D. Kinnaes & K. De Vlaminck

Authors
  1. D. Kinnaes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. De Vlaminck
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. Prehn W. J. Toetenel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kinnaes, D., De Vlaminck, K. (1991). A debugger for a Meta-IV-like meta-language. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_35

Download citation

  • DOI: https://doi.org/10.1007/3-540-54834-3_35

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54834-8

  • Online ISBN: 978-3-540-46449-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation