Y. Leontiev, M. Tamer Özsu, Duane Szafron  Home/Search
Context Related
| menaik.cs.ualberta.ca...dbpl97eea.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math....cs.ualberta.ca (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
.... type systems include Machiavelli [171, 37] Fibonacci [4] Tycoon [147] PM3 [101] Theta [141] BETA [144, 131] VML [130] Leontiev [134] has recently made progress with such type systems. These all seek to achieve both persistence and a comprehensive type system covering...
Cited by: More
A Review of the Rationale and Architectures of PJama: a.. - Atkinson, Jordan (2000) (Correct)
Active bibliography (related documents): More All
1.0: On Separation between Interface, Implementation, and.. - Leontiev, Özsu, Szafron (1998) (Correct)
0.6: Type-Safe Compilation of Covariant Specialization: A Practical.. - In European (Correct)
0.5: Multiple Code Inheritance in Java - Maria Cutumisu Paul (2003) (Correct)
Similar documents based on text: More All
0.5: A Uniform Behavioral Temporal Object Model - Goralwalla, Leontiev, Özsu.. (1995) (Correct)
0.5: The Query Model and Query Language of TIGUKAT - Peters, Lipka, Özsu, Szafron (1993) (Correct)
0.4: Modeling Time: Back to Basics - Goralwalla, Leontiev, Özsu, Szafron (1996) (Correct)
Related documents from co-citation: More All
2: Department of Computing Science (context) - Printezis, Atkinson et al. - 1998
2: Working with objects: To swizzle or not to swizzle (context) - Eliot, Moss - 1990
2: Design and Implementation of a Genetics Database using Java and Orthogonal Persi.. (context) - Hunt, Atkinson - 1998
BibTeX entry: (Update)
Y. Leontiev. Type System for an Object-Oriented Database Programming Language. PhD thesis, University of Alberta, Department of Computing Science, 1999. http://citeseer.ist.psu.edu/article/leontiev99type.html More
@misc{ leontiev99type,
author = "Y. Leontiev",
title = "Type System for an Object-Oriented Database Programming Language",
text = "Y. Leontiev. Type System for an Object-Oriented Database Programming Language.
PhD thesis, University of Alberta, Department of Computing Science, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/article/leontiev99type.html" }
Citations (may not include all citations):1002 programming language (context) - Stroustrop - 1991
384 The definition of Standard ML (context) - Miller, Tofte et al. - 1990
298 The object-oriented database system manifesto - Banchilon, Dittrich et al. - 1992
236 Intuitionistic type theory (context) - Martin-Lof - 1984
233 Computational interpretations of linear logic - Abramsky - 1993
121 Types and persistence in database programming languages (context) - Atkinson, Buneman - 1987
111 Common Lisp Object System specification (context) - Bobrow, DeMichiel et al. - 1988
106 PolyTOIL: A type-safe polymorphic objectoriented language - Bruce, Schuett et al. - 1995
93 Principles of programming with complex objects and collectio.. - Buneman, Naqvi et al. - 1995
91 object database and environment): The language and the data .. (context) - Agrawal, Gehani - 1989
88 Theory and Practice of Object Systems (context) - Bruce, Cardelli et al. - 1996
88 A calculus for overloaded functions with subtyping - Castagna, Ghelli et al. - 1995
63 Static type checking of multimethods - Agrawal, DeMichiel et al. - 1991
63 Database programming in Machiavelli --- a polymorphic langua.. - Ohori, Buneman et al. - 1989
60 Contraction-free sequent calculi for intuitionistic logic (context) - Dyckhoff - 1992
55 interactive conceptual language (context) - Albano, Cardelli et al. - 1985
50 Department of Computer Science and Engineering (context) - Chambers, language et al. - 1993
50 Orthogonally persistent object systems - Atkinson, Morrison - 1995
49 TIGUKAT: A uniform behavioral objectbase management system - Ozsu, Peters et al. - 1995
42 Multi-methods in a statically-typed programming language (context) - Mugridge, Hamer et al. - 1991
41 The cartesian product algorithm (context) - Agesen - 1995
40 A static type system for message passing (context) - Ghelli - 1991
33 Typed sets as a basis for object-oriented database schemas - Balsters, De By et al. - 1993
33 An axiomatic model of dynamic schema evolution in objectbase.. - Peters, Ozsu - 1995
28 Fibonacci: A programming language for object databases (context) - Albano, Ghelli et al. - 1995
27 Napier88 reference manual (context) - Morrison, Brown et al. - 1996
25 Objects with multiple most specific classes (context) - Bertino, Guerrini - 1995
24 Polymorphism and type inference in database programming - Buneman, Ohori - 1996
22 Type-safe compilation of covariant specialization: A practic.. (context) - Boyland, Castagna - 1995
14 Axiomatization of dynamic schema evolution in objectbases - Peters, Ozsu - 1995
13 ACM Transactions on Programming Languages and Systems (context) - Richardson, Carey et al. - 1993
12 Programming in Martin-Lof's type theory: An introduction (context) - Nordstrom, Petersson et al. - 1990
10 Dylan interim reference manual (context) - Computer - 1994
10 A meta-language for typed object-oriented languages - Castagna - 1995
9 A uniform behavioral temporal object model - Goralwalla, Leontiev et al. - 1995
9 A core object-oriented language with block structure and mul.. (context) - Chambers, Leavens - 1997
9 Subtypes vs where clauses: Constraining parametric polymorph.. - Day, Gruber et al. - 1995
7 Open issues in object oriented programming: A scandinavian p.. (context) - Madsen - 1995
7 Combinators and Functional Programming Languages (context) - Cardelli - 1986
7 ACM SIGPLAN Notices (context) - Chambers, Leavens et al. - 1994
6 A type-safe polymorphic object-oriented language (context) - Bruce, Schuett et al. - 1994
6 An extensible query optimizer for an objectbase management s.. (context) - Ozsu, noz et al. - 1995
4 Persistent polymorphic programming in Tycoon: An introductio.. (context) - Matthes, MuBetaig et al. - 1994
3 Engineerig a programming language: The type and class system.. (context) - Szypersky, Omohundro et al. - 1993
3 Foundations of object-oriented languages (context) - Black, Palsberg - 1994
2 and Bart Termorshuizen (context) - Bal, Balsters et al. - 1993
2 ACM SIGPLAN Notices (context) - Barrett, Giguere - 1996
1 in Russian: Sistema Programmirovaniya Baz Dannyh Modula-90K (context) - Lutiy, Merkov et al. - 1994
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/menaik.cs.ualberta.ca.html): More
A Stable Algorithm for Multi-dimensional Padé.. - Cabay, Jones, Labahn (1994) (Correct)
A First Implementation of Modular Smalltalk - Holst, Szafron (1993) (Correct)
Global Snapshots for Distributed Debugging: An Overview - Yang, Marsland (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC