Dynamic semantics of the Oberon programming language
P Kutter · Repository for Publications and Research Data (ETH Zurich) · 1996
In this paper we present an abstract mathematical model for the dynamic semantics of the Oberon programming language using the Evolving Algebras approach.Oberon is the object-oriented successor of Pascal and Modula2.The resulting formal specication is complete, compact, and understandable with minimal training.