Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Oberon


Citation: Philipp W. Kutter and Alfonso Pierantonio, "The Formal Specification of Oberon", Journal of Universal Computer Science, vol. 3, no. 5 (1997), 443--503.
Summary: A presentation of the syntax, static, and dynamic semantics of Oberon (the object-oriented successor of Pascal and Modula 2), using Montages and ASMs.
Subjects: Montages, Programming Languages
Download: PostScript, PDF, Compressed PostScript
Notes: (Courtesy of Springer-Verlag.)