Loading...
Please wait, while we are loading the content...
Similar Documents
Type System of an Object-oriented Database Programming Language Extended Abstract
| Content Provider | Semantic Scholar |
|---|---|
| Author | Szafron, Duane |
| Copyright Year | 1999 |
| 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 reeexivity, 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 speciication 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. This is an expanded version of the extended abstract submitted to DBPL 97. |
| File Format | PDF HTM / HTML |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |