242 Citations
Dynamic Semantics of the Oberon Programming
- Computer Science
- 1996
An abstract mathematical model for the dynamic semantics of the Oberon programming language using the Evolving Algebras approach is presented and the resulting formal speciication is complete, compact, and understandable with minimal training.
Implementing Oberon0 Language with Simpl DSL Tool
- Business
- 2013
This report describes submission to the LDTA 2011 tool challenge, created with Simpl DSL tool, with results similar to that of a traditional LDTA tool.
Umbriel—imperative programming for unsophisticated students
- Computer ScienceSGCS
- 1995
This article discusses an experiment in designing and using Umbriel, a minimal imperative programming language in the Pascal tradition, for teaching the rudiments of programming in situations where…
From modula to oberon
- Computer ScienceSoftw. Pract. Exp.
- 1988
The programming language Oberon is the result of a concentrated effort to increase the power of Modula‐2 and simultaneously to reduce its complexity. Several features were eliminated, and a few were…
The Formal Specification of Oberon
- Computer ScienceJ. Univers. Comput. Sci.
- 1997
This paper presents the formal speciication of the programming language Oberon. Using Montages we give a description of syntax, static, and dynamic semantics of all constructs of the language. The…
Control system design with Oberon
- Computer ScienceProceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)
- 1994
It is shown in the paper that Oberon is well suited for the implementation of CACSD systems and the design of such a system is outlined and some parts that have already been implemented are presented.
Toward integration of the imperative and logic programming paradigms: Horn-clause programming in the Pascal environment
- Computer ScienceSIGP
- 1990
This paper introduces a method for integrating the imperative and logic programming paradigms in the framework of a language named Paslog, an extension of Pascal that supports Horn clause programming in the Pascal environment.