The VDM-SL editor and consistency checker

  • Flemming M. Damm
  • Hans Bruun
  • Bo Stig Hansen
Conference paper
First Online:
Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)

Keywords

Proof Obligation Editing Operation Static Semantic Abstract Syntax Tree Symbolic Reference 
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.
This is a preview of subscription content, log in to check access.

References

  1. [1]
    Hans Bruun, Bo Stig Hansen, and Flemming Damm. An approach to the static semantics of VDM-SL. This volume.Google Scholar
  2. [2]
    Flemming Damm, Bo Stig Hansen, and Hans Bruun. Type checking in VDM and related consistency issues. This volume.Google Scholar
  3. [3]
    Thomas W. Reps and Tim Teitelbaum. The Synthesizer Generator. A System for Constructing Language-Based Editors, Texts and Monographs in Computer Science. Springer-Verlag, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Flemming M. Damm
    • 1
  • Hans Bruun
    • 1
  • Bo Stig Hansen
    • 1
  1. 1.Department of Computer ScienceTechnical University of DenmarkLyngby

Personalised recommendations