The Formal Specification of Oberon.
P Kutter, Alfonso Pierantonio · Zenodo (CERN European Organization for Nuclear Research) · 1997
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.