98 search results - page 1 / 20 » A DLP System with Object-Oriented Features |
LPNMR
2005
Springer
13 years 9 months ago
2005
Springer
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 ...
SIGADA
1998
Springer
13 years 8 months ago
1998
Springer
FM
2005
Springer
13 years 9 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
CSMR
2008
IEEE
13 years 6 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
ISORC
2000
IEEE
13 years 8 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...