Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 3 / Issue 5

available in:   PDF (515 kB) PS (150 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-003-05-0443


The Formal Specification of Oberon

Philipp W. Kutter (Eidgenössische Technische Hochschule, Switzerland)

Alfonso Pierantonio (Università di L'Aquila, Italy)

Abstract: This paper presents the formal specification of the programming language Oberon. Using Montages we give a description of syntax, static, and dynamic semantics of all constructs of the language. The specification is arranged in five refinement steps, each of them results in a working sub-language of Oberon. The compactness and readability of the specification make us believe that it can be used for a reference manual.

Keywords: Montages, Oberon, abstract state machines, programming languages specifications, reference manuals

Categories: D.3.1, D.3.3, F.3.2