273 search results - page 3 / 55 » Recursive Object Types in a Logic of Object-Oriented Program... |
PPDP
2005
Springer
13 years 11 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
DBA
2006
13 years 7 months ago
2006
: Recursive queries are required in many object-oriented database applications. Among them we can mention Bill-Of-Material (BOM), stock market dependencies, various kinds of networ...
LPNMR
2005
Springer
13 years 11 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 ...
ER
1995
Springer
13 years 9 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
PLDI
1990
ACM
13 years 9 months ago
1990
ACM
