JUCS - Journal of Universal Computer Science 3(5): 443-503, doi: 10.3217/jucs-003-05-0443
The Formal Specification of Oberon
expand article infoPhilipp W. Kutter‡, Alfonso Pierantonio§
‡ Eidgenössische Technische Hochschule, Switzerland§ Università di L'Aquila, Italy

Corresponding author: Philipp Kutter ( kutter@tik.ee.ethz.ch )

© Philipp Kutter, Alfonso Pierantonio.
This article is freely available under the J.UCS Open Content License.
Citation: Kutter PW, Pierantonio A (1997) The Formal Specification of Oberon. JUCS - Journal of Universal Computer Science 3(5): 443-503. https://doi.org/10.3217/jucs-003-05-0443
Open Access
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
abstract state machines, Oberon, Montages, programming languages specifications, reference manuals