Skip to main content
SpringerLink
Log in
Book cover

International Conference of Z Users

ZUM 1995: ZUM '95: The Z Formal Specification Notation pp 298–314Cite as

A formal semantics for a language with type extension

  • Applications II
  • Conference paper
  • First Online:

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

Abstract

The purpose of this paper is to give a formal semantics for a language which includes type extension. Used in association with pointer variables, this forms the basis of object-orientation in the languages Oberon and Oberon-2 which have evolved from Modula-2. The focus is on the meaning of assignment because this is the important difference between such languages and the strongly-typed Pascal family. An abstract syntax is defined using the Z notation and the static and dynamic semantics are given in a denotational style.

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.

References

  1. I. J. Hayes(editor). Specification Case Studies. Prentice Hall International, second edition, 1993.

    Google Scholar 

  2. I. J. Hayes. A small language definition in Z. Technical Report UQ-SVRC-TR94-50. Software Verification Research Centre. University of Queensland. December, 1994.

    Google Scholar 

  3. H. Mössenböck and N. Wirth. The programming language Oberon-2. Structured Programming, 12(4). 1991.

    Google Scholar 

  4. M. Reiser and N. Wirth. Programming in Oberon: Steps beyond Pascal and Modula. Addison-Wesley, 1992.

    Google Scholar 

  5. E. Seidwitz. Object-oriented programming through type extension in Ada9X. Ada Letters, 11(2): 86–97. March/April 1991.

    Google Scholar 

  6. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992.

    Google Scholar 

  7. N. Wirth. Type extensions. ACM Transactions on Programming Languages and Systems, 10(2):204–214. April 1988.

    Google Scholar 

  8. N. Wirth. The programming language Oberon. Software Practice and Experience. July 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Queensland University of Technology, 4001, Brisbane, Australia

    Peter Bancroft

  2. University of Queensland, 4072, Brisbane, Australia

    Ian Hayes

Authors
  1. Peter Bancroft
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ian Hayes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jonathan P. Bowen Michael G. Hinchey

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bancroft, P., Hayes, I. (1995). A formal semantics for a language with type extension. In: Bowen, J.P., Hinchey, M.G. (eds) ZUM '95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer Science, vol 967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60271-2_127

Download citation

  • DOI: https://doi.org/10.1007/3-540-60271-2_127

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-44782-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation