Sciweavers

Share
DOOD
1993
Springer

A Deductive and Typed Object-Oriented Language

9 years 6 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 Datalog equipped with complex objects, object identities, and multiple inheritance based on Cardelli type theory. The language also incorporates a very general notion of sets as first-class objects. The paper offers a formal description of DTL, as well as a denotational semantics for DTL programs.
René Bal, Herman Balsters
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1993
Where DOOD
Authors René Bal, Herman Balsters
Comments (0)
books