Operating systems should be made exible from their low-level system structures, to enable them to adapt to dynamic changes of the outer world. This paper proposes a methodology for making device drivers completely re-con gurable, by introducing objectoriented re ective programming into the low-level system structures of operating systems. We introduce concurrent objects and continuations as a b...

To represent interactive objects, we propose a choice-disjunctive declaration statement of the form S⊔R where S,R are the (procedure or field) declaration statements within a class. This statement has the following semantics: request the user to choose one between S and R when an object of this class is created. This statement is useful for representing interactive objects that require interact...

Object-oriented programming has, in recent years, become the most influential programming paradigm. It is widely used in education and industry, and almost every university teaches object-orientation somewhere in its curriculum. The software community more or less agrees that teaching object-oriented programming is a good thing. It elegantly supports the concepts that we have been trying to tea...

Object-oriented programming has, in recent years, become the most influential programming paradigm. It is widely used in education and industry, and almost every university teaches object-orientation somewhere in its curriculum. The software community more or less agrees that teaching object-oriented programming is a good thing. It elegantly supports the concepts that we have been trying to tea...

This paper discusses the prototyping of programming environments for object-oriented concurrent programming languages. We advocate designing new prototypes starting from existing sophisticated programming environments that we can nd in standard (sequential) object-oriented programming languages (namely Smalltalk-80 1 ). Our starting point is a testbed for object-oriented concurrent languages ba...

Uncertain object-oriented logic programming is a combination of logic programming, object-oriented programming and uncertainty logic to exploit the advantages of all three disciplines in dealing with real world problems. This paper presents the implementation of Fril++, the Fril-based object-oriented logic programming language with uncertainty. Fril++ syntax is introduced and related semantic i...

Pointers are ubiquitous in modern object-oriented programming languages, and many data structures such as trees, lists, graphs, hash tables, etc. depend on them heavily. Unfortunately, pointers can add significant complexity to programming. ParaSail, a new parallel object-oriented programming language, has adopted an alternative, pointer-free approach to defining data structures. Rather than us...

The progress in computer simulation tends to simulate complex systems governed by “internal models”, i.e. sophisticated activities of computing technique in real time flow. Independently of that, computer simulation needs the object-oriented programming and the agent-based paradigm for constructing “external models” of complex systems that are being designed. Thus the progress tends to use mode...

The bene ts of object oriented programming are well known but popular operating systems provide very few object oriented features to users and few are im plemented using object oriented techniques themselves In this paper we discuss a mechanism for apply ing object oriented programming concepts to program binding linking and execution We describe OMOS an object meta object server that embodies ...

In this paper, we present a case study for using formal object-oriented speciication languages, such as Object-Z, to specify the semantics of object-oriented programming languages. The key idea in this case study is to model language constructs, such as expressions, statements, methods and classes, as objects and to specify the semantics of each language construct using an Object-Z class. This ...