Sciweavers

37 search results - page 3 / 8
» Classifying Inheritance Mechanisms in Concurrent Object Orie...
Sort
View
LPNMR
2005
Springer
15 years 3 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...
74
Voted
FM
1994
Springer
104views Formal Methods» more  FM 1994»
15 years 1 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
15 years 1 months 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»
15 years 1 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
15 years 2 months 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