Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

19

DOOD
1993
Springer

favoriteEmaildiscussreport

135views Database» more DOOD 1993»

A Deductive and Typed Object-Oriented Language

13 years 8 months ago

A Deductive and Typed Object-Oriented Language

Download eprints.eemcs.utwente.nl

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

Real-time Traffic

Cardelli Type Theory | Database | DOOD 1993 | Logical Query Language | Object-oriented Typing Facilities |

claim paper

Related Content

» XDO2 A Deductive ObjectOriented Query Language for XML

» WellFounded Semantics for Deductive ObjectOriented Database Languages

» A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages

» Iterative Type Analysis and Extended Message Splitting Optimizing DynamicallyTyped ObjectO...

» A MetaLanguage for Typed ObjectOriented Languages

» Recursive Object Types in a Logic of ObjectOriented Programs

» PolyTOIL A TypeSafe Polymorphic ObjectOriented Language

» Coinductive Type Systems for ObjectOriented Languages

» Session Types for ObjectOriented Languages

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1993
Where	DOOD
Authors	René Bal, Herman Balsters

Comments (0)