H. Moessenboeck. Object-Oriented Programming in Oberon-2. Springer, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Dynamic Semantics of the Oberon Programming Language - Kutter (1996) (3 citations) (Correct)
....An additional specification of the Oberon operating system [38] could be the base for correct and efficient low level software for safety critical systems. The flexibility of Evolving Algebras easily allows for an extension of the specification to Oberon dialects dealing with type bound methods [25], distributed computing [22] and object oriented databases [32] 46 A Motivation of the more complicated record model It is allowed to overwrite private fields of imported record types while extending then. This is unavoidable, because the implementor of the imported module has to be free in ....
H. Moessenboeck. Object-Oriented Programming in Oberon-2. Springer Verla, second edition, 1995.
On Object-Oriented Design and Verification - Lewerentz, Lindner, Rüping.. (2 citations) (Correct)
....and verification difficult. One approach to overcome this problem is to restrict the usage of object identities. 6.2 Modules We introduce modules into the specification of object oriented systems. Modules encapsulate cooperating classes whose objects have to refer to one another (cf. [23, 24, 26, 29, 1, 11, 17]) Modules provide a precise interface to the outside world. Inside modules, object identities can be used without restrictions. However, if object identities are used in invariants specifying a system, they may not refer to objects beyond the module s border. Such invariants describe how the ....
H. Moessenboeck. Object-Oriented Programming in Oberon-2. Springer-Verlag, 1993.
Derivation of Secure Parallel Applications by Means of Module.. - Radenski (Correct)
No context found.
H. Moessenboeck. Object-Oriented Programming in Oberon-2. Springer, 1993.
Module Embedding - Atanas Radenski Computer (Correct)
No context found.
H. Moessenboeck. Object-Oriented Programming in Oberon-2. Springer-Verlag, 1993. 23
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC