Loading...
Please wait, while we are loading the content...
Similar Documents
Type System of an Object-Oriented Database Programming Language (Extended Abstract) (1999)
| Content Provider | CiteSeerX |
|---|---|
| Author | Leontiev, Y. Özsu, M. Tamer Szafron, Duane |
| Abstract | In this paper we present the type system of the TIGUKAT database programming language. It is a highly parametric object-oriented type system that combines multiple dispatch with reflexivity, separation of interface and implementation, precise behavior typing, and union and intersection types. We demonstrate the inner workings of the type system by considering a concrete example of type specification in TIGUKAT. We also review type systems of several existing programming languages and conclude that the proposed type system has a unique combination of features particularly suited for object-oriented database programming. |
| File Format | |
| Volume Number | 34 |
| Journal | ACM COMPUTING SURVEYS (CSUR |
| Language | English |
| Publisher Date | 1999-01-01 |
| Access Restriction | Open |
| Subject Keyword | Type System Extended Abstract Object-oriented Database Programming Language Precise Behavior Typing Intersection Type Tigukat Database Programming Language Unique Combination Parametric Object-oriented Type System Concrete Example Object-oriented Database Programming Multiple Dispatch Inner Working Type Specification Programming Language |
| Content Type | Text |
| Resource Type | Article |
