Skip to search formSkip to main contentSkip to account menu

Active Oberon

Active Oberon is a general purpose programming language developed during 1996-1998 by the group around Niklaus Wirth and Jürg Gutknecht at the Swiss… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
To effectively cope with correctness issues of concurrent and timed systems, the use of formal tools is mandatory. This paper… 
2011
2011
This paper describes the design and implementation of a library of reusable UPPAAL template processes which support reasoning and… 
2006
2006
In this paper a concept for structured mathematical programming within an object-oriented language is presented. It leads to… 
2006
2006
As data persistence is very poorly supported by current programming systems, we have initiated a research project to improve this… 
2006
2006
The recent product development of processors shows that multi-core computer architectures are rapidly becoming reality. Therefore… 
2005
2005
AbstrcatA programming language and operating system—Active Oberon is introduced,which is indeed very powerful.It possesses of… 
Review
2001