The Formal Specification of Oberon
Дата
Авторы
Kutter,Philipp
Pierantonio,Alfonso
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
abstract state machines , Oberon , Montages , programming languages specifications , reference manuals