Sciweavers

37 search results - page 3 / 8
» Classifying Inheritance Mechanisms in Concurrent Object Orie...
Sort
View
LPNMR
2005
Springer
14 years 1 months ago
A DLP System with Object-Oriented Features
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
Francesco Ricca, Nicola Leone, Valerio De Bonis, T...
FM
1994
Springer
104views Formal Methods» more  FM 1994»
13 years 11 months ago
OPUS: a Formal Approach to Object-Orientation
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
Tom Mens, Kim Mens, Patrick Steyaert
ATAL
2000
Springer
14 years 1 days ago
Generalised Object-Oriented Concepts for Inter-agent Communication
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
DOOD
1989
Springer
146views Database» more  DOOD 1989»
13 years 11 months ago
The Object-Oriented Database System Manifesto
This paper attempts to de ne an object-oriented database system. It describes the main features and characteristics that a system must have to qualify as an objectoriented databas...
Malcolm P. Atkinson, François Bancilhon, Da...
OOPSLA
2001
Springer
14 years 4 days ago
Object-Oriented Composition Untangled
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
Klaus Ostermann, Mira Mezini