A formal semantics for a language with type extension

  • Peter Bancroft
  • Ian Hayes
Applications II
Part of the Lecture Notes in Computer Science book series (LNCS, volume 967)


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.


Static Type Pointer Variable Formal Semantic Abstract Syntax Pointer Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Hay93]
    I. J. Hayes(editor). Specification Case Studies. Prentice Hall International, second edition, 1993.Google Scholar
  2. [Hay94]
    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. [MW91]
    H. Mössenböck and N. Wirth. The programming language Oberon-2. Structured Programming, 12(4). 1991.Google Scholar
  4. [RW92]
    M. Reiser and N. Wirth. Programming in Oberon: Steps beyond Pascal and Modula. Addison-Wesley, 1992.Google Scholar
  5. [Sei91]
    E. Seidwitz. Object-oriented programming through type extension in Ada9X. Ada Letters, 11(2): 86–97. March/April 1991.Google Scholar
  6. [Spi92]
    J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992.Google Scholar
  7. [Wir88a]
    N. Wirth. Type extensions. ACM Transactions on Programming Languages and Systems, 10(2):204–214. April 1988.Google Scholar
  8. [Wir88b]
    N. Wirth. The programming language Oberon. Software Practice and Experience. July 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Peter Bancroft
    • 1
  • Ian Hayes
    • 2
  1. 1.Queensland University of TechnologyBrisbaneAustralia
  2. 2.University of QueenslandBrisbaneAustralia

Personalised recommendations