Skip to main content
SpringerLink
Log in

Compiler prototyping with VDM and standard ML

  • Applications And Tools
  • Conference paper
  • First Online:
VDM '88 VDM — The Way Ahead (VDM 1988)

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

Included in the following conference series:

  • 128 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. AMT DAP 500: FORTRAN-PLUS Language. Active Memory Technology Ltd., 65 Suttons Park Avenue, Reading, Berks. 1987.

    Google Scholar 

  2. R.D. Arthan and T.W. Lake. DSL — a Language for SIMD Processors. To Appear. 1988.

    Google Scholar 

  3. D. Bjørner and C.B. Jones. Formal Specification and Software Development. Prentice-Hall International. 1982.

    Google Scholar 

  4. D. Bjørner and O.N. Oest. Towards a Formal Description of Ada. Springer-Verlag Lecture Notes in Computer Science vol. 98. 1980.

    Google Scholar 

  5. P. Broughton et al. Designing System Software for Parallel Declarative Systems. ICL Technical Journal. May 1987.

    Google Scholar 

  6. R. Harper, D. MacQueen and R. Milner. STandard ML. LFCS Report ECS-LFCS-86-2. University of Edinburgh. 1986.

    Google Scholar 

  7. P. Henderson and C. Minkowitz. The me too Method of Software Design. ICL Technical Journal. May 1986.

    Google Scholar 

  8. A.D. Hill. Asphodel — an Ada® Compatible Specification and Design Language. CEGB Internal Document.

    Google Scholar 

  9. W.D. Hillis. The Connection Machine. MIT Press. 1985

    Google Scholar 

  10. R.W. Hockney and C.R. Jesshope. Parallel Computers 2. Adam Hilger Ltd. 1988.

    Google Scholar 

  11. M.I. Jackson. Developing Ada® Programs Using VDM. Software Practice and Experience. March 1985.

    Google Scholar 

  12. M. Jackson. Articles in DataLink. March 9 and 16, 1987.

    Google Scholar 

  13. T.W. Lake. DSL Reference Manual. ICL Internal Document. 1987.

    Google Scholar 

  14. STC IDEC Ltd. A Perspective on VDM. (Course Documentation) 1985.

    Google Scholar 

  15. A.T. Schreiner and H.G. Friedman Jr. Introduction to Compiler Construction with UNIX™. Prentice-Hall International. 1985.

    Google Scholar 

  16. D.A. Turner. Miranda: A Non-strict Functional Language with Polymorphic Types. in Springer Lecture Notes in Computer Science vol. 201. 1985.

    Google Scholar 

  17. M. Wolczko. Typesetting VDM with LATEX. Dept. of Computer Science. Manchester University. March 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICL Defence Systems, Eskdale Road, RG11 5TT, Winnersh, Berks

    R. D. Arthan

Authors
  1. R. D. Arthan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robin E. Bloomfield Lynn S. Marshall Roger B. Jones

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Arthan, R.D. (1988). Compiler prototyping with VDM and standard ML. In: Bloomfield, R.E., Marshall, L.S., Jones, R.B. (eds) VDM '88 VDM — The Way Ahead. VDM 1988. Lecture Notes in Computer Science, vol 328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50214-9_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-50214-9_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50214-2

  • Online ISBN: 978-3-540-45955-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation