Skip to main content
SpringerLink
Log in
Book cover

International Symposium of VDM Europe

VDM 1988: VDM '88 VDM — The Way Ahead pp 318–336Cite as

Proof rules for VDM statements

  • Foundations And Theory
  • Conference paper
  • First Online:

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

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8 References

  1. Concrete Syntax for the STC VDM Reference Language (Edition 4), STC (1987).

    Google Scholar 

  2. Development Advice for the STC VDM Reference Language (Edition 2), STC (1987).

    Google Scholar 

  3. Barringer, H., Cheng, J.H., and Jones, C.B., A Logic Covering Undefinedness in Program Proofs, Acta Informatica 21 (1984), 251–259.

    Google Scholar 

  4. Goldblatt, R., Axiomatising the Logic of Computer Programming, Lecture Notes in Computer Science 130 (Springer-Verlag, 1982).

    Google Scholar 

  5. Harel, D., First-Order Dynamic Logic, Lecture Notes in Computer Science 68 (Springer-Verlag, 1979).

    Google Scholar 

  6. Jones, C.B., Software Development: A Rigorous Approach (Prentice-Hall, 1980).

    Google Scholar 

  7. Jones, C.B., Systematic Software Development Using VDM (Prentice-Hall, 1986).

    Google Scholar 

  8. Milne, R.E., The sequential imperative aspect of the RAISE specification language, RAISE/STC/REM/2/V1, STC (1987).

    Google Scholar 

  9. Scott, D.S., Identity and Existence in Intuitionistic Logic, Lecture Notes in Mathematics 735 (Springer-Verlag, 1979), 660–696.

    Google Scholar 

  10. Turski, W., and Maibaum, T.S.E., The Specification of Computer Programs (Addison-Wesley, 1987).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. STC Technology Ltd, London Road, CM17 9NA, Harlow, Essex, United Kingdom

    Robert Milne

Authors
  1. Robert Milne
    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

Milne, R. (1988). Proof rules for VDM statements. 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_23

Download citation

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

  • 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