论文信息 - The Formal Speciication of Oberon

The Formal Speciication of Oberon

This paper presents the formal speci cation of the programming language Oberon. Using Montages we give a description of syntax, static, and dynamic semantics of all constructs of the language. The speci cation is arranged in ve re nement steps, each of them results in a working sub{language of Oberon. The compactness and readability of the speci cation make us believe that it can be used for a reference manual.

Alfonso Pierantonio | Philipp W. Kutter | A. Pierantonio | P. Kutter

[1] Egon Börger,et al. Occam: Specification and Compiler Correctness - Part I: The Primary Model , 1994, PROCOMET.

[2] Niklaus Wirth,et al. Type extensions , 1988, TOPL.

[3] Alfonso Pierantonio,et al. Montages Specifications of Realistic Programming Languages , 1997, J. Univers. Comput. Sci..

[4] Yuri Gurevich,et al. The Semantics of the C Programming Language , 1992, CSL.

[5] Alfonso Pierantonio,et al. The Formal Specification of Oberon , 1997, J. Univers. Comput. Sci..

[6] Niklaus Wirth,et al. The programming language oberon , 1988, Softw. Pract. Exp..