Title: A debugger for a meta-iv-like meta-language
Authors: Kinnaes, D ×
De Vlaminck, Karel #
Issue Date: 1991
Publisher: Springer verlag
Series Title: Lecture notes in computer science vol:551 pages:597-603
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.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science