Advertisement

The Delft VDM-SL front-end

  • Nico Plat
  • Kees Pronk
  • Marcel Verhoef
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BSI/Modula-2]
    JCT1/SC22/WG13. Draft Proposal DP 10514; Third Working Draft Modula-2 Standard.Google Scholar
  2. [BSI/VDM]
    BSI IST/5/-/50. VDM Specification Language: Proto-Standard. March 1991.Google Scholar
  3. [Kastens 82]
    U. Kastens, B. Hutt, E. Zimmermann. GAG: A Practical Compiler Generator. Lecture Notes in Computer Science no. 141, Springer Verlag, Berlin, 1982.Google Scholar
  4. [Knuth 68]
    D.E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127–145, 1968. Errata: 5:95–96, 1971.Google Scholar
  5. [Langsæter 91]
    Jan Eivind Langsæter. DIAS — An Interface-Generator for abstract syntaxes. Master's thesis, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, March 1991.Google Scholar
  6. [Plat 88]
    Nico Plat. Towards a VDM-SL Compiler. Master's thesis, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, December 1988.Google Scholar
  7. [Plat 89]
    Nico Plat, Hans Toetenel. Tool support for VDM. Technical Report 89-81, Delft University of Technology, Faculty of Technical Mathematics and Informatics, P.O. Box 356, NL-2600 AJ Delft, The Netherlands, November 1989.Google Scholar
  8. [Plat 90]
    Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel. Type checking BSI/VDM-SL. In VDM and Z; proc. of the 3rd VDM-Europe Symposium, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Nico Plat
    • 1
  • Kees Pronk
    • 1
  • Marcel Verhoef
    • 1
  1. 1.Faculty of Technical Mathematics and InformaticsDelft University of TechnologyAJ DelftThe Netherlands

Personalised recommendations