Sciweavers

DOOD
1993
Springer
135views Database» more  DOOD 1993»
14 years 4 months ago
A Deductive and Typed Object-Oriented Language
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
René Bal, Herman Balsters