Skip to main content
SpringerLink
Log in

The Delft VDM-SL front-end

  • 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

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.

References

  1. JCT1/SC22/WG13. Draft Proposal DP 10514; Third Working Draft Modula-2 Standard.

    Google Scholar 

  2. BSI IST/5/-/50. VDM Specification Language: Proto-Standard. March 1991.

    Google Scholar 

  3. 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. D.E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127–145, 1968. Errata: 5:95–96, 1971.

    Google Scholar 

  5. 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. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Faculty of Technical Mathematics and Informatics, Delft University of Technology, P.O. Box 356, NL-2600, AJ Delft, The Netherlands

    Nico Plat, Kees Pronk & Marcel Verhoef

Authors
  1. Nico Plat
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kees Pronk
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marcel Verhoef
    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

Plat, N., Pronk, K., Verhoef, M. (1991). The Delft VDM-SL front-end. 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_45

Download citation

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

  • 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