This paper describes design and implementation issues for introducing concurrency to object-oriented programming. Designing a concurrency class library along with an object-oriented concurrent program design method is presented as the prefered way to extend an existing object-oriented language. A set of classes designed to facilitate concurrent programming using the sequential object-oriented l...

Most existing object-oriented database systems exploit a general purpose imperative object-oriented programming language as method deenition language. The use of such languages makes it diicult to analyze method properties and to optimize them. We believe that the use of an ad-hoc, set-oriented language can ooer some advantages, at least at a speciication level. In particular, such a language c...

Two new techniques for multi-method dispatch are presented, both sufficiently general to apply to reflexive languages where methods and types can be added and removed at run-time. However, these techniques also apply to non-reflexive languages. One of the techniques operates by performing projections onto single-receiver dispatch tables, and thus benefits from existing research into single-rece...

Cohesion has been a topic of interest since structured design [20, 23] in the 1970’s. Today, there are numerous researchers continuing this work into object-oriented designs [1, 3, 5, 7, 9, 10, 12, 13, 16, 18, 19, 22]. Most of the current research has focused on the interaction of methods within a class, the inter-method cohesion. In this paper we consider both the inter-method cohesion and the...

Knowledge discovery in databases is the nontrivial extraction of implicit, previously unknown, and potentially useful information from data such that the extracted knowledge may facilitate deductive reasoning and query processing in database systems. This branch of study has been ranked among the most promising topics for database research for the 1990s. Due to the dominating influence of relat...

Abstract Object-Oriented Ontology (OOO) is a contemporary form of realism concerned with the investigation “objects” broadly construed. It may be characterised in terms metaphysical pluralism to extent that it recognises infinitely many different kinds emergent entities, and this fact turn leads number questions concerning nature objects emergence OOO: what precise meaning an entity OOO? How ha...

This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare’s rule of adaptation to the object-oriented paradigm, which takes both the write effects and the creational effects of a method into account. The new rule contributes in various ways to the modularity of the specification. We also argue that our rule of adaptation is the mis...