Show simple item record

dc.contributor.advisor Cartwright, Robert S.
dc.creatorAllen, Eric Ethan
dc.date.accessioned 2009-06-04T08:37:23Z
dc.date.available 2009-06-04T08:37:23Z
dc.date.issued 2003
dc.identifier.urihttps://hdl.handle.net/1911/18503
dc.description.abstract This thesis describes how to add first-class generic types---including mixins---to strongly-typed object-oriented languages with nominal subtyping such as Java and C#. A generic type system is "first-class" if generic types can appear in any context where conventional types can appear. In this context, a mixin is simply a generic class that extends one of its type parameters, e.g., a class C<T> that extends T. Although mixins of this form are widely used in C++ (via templates), they are clumsy and error-prone because C++ treats mixins as syntactic abbreviations (macros), forcing each mixin instantiation to be separately compiled and type-checked. The abstraction embodied in a mixin is never separately analyzed. Our formulation of mixins using first-class genericity accommodates sound local (class-by-class) type checking. A mixin can be fully type-checked given symbol tables for each of the classes that it directly references---the same context in which Java performs incremental class compilation. To our knowledge, no previous formal analysis of first-class genericity in languages with nominal type systems has been conducted, which is surprising because nominal type systems have become predominant in mainstream object-oriented programming languages. What makes our treatment of first-class genericity particularly interesting and important is the fact that it can be added to the existing Java language without any change to the underlying Java Virtual Machine. Moreover, the extension is backward compatible with legacy Java source and class files. Although our discussion of implementation issues focuses on Java, the same implementation techniques could be applied to other object-oriented languages such as C# or Eiffel that support incremental compilation, dynamic class loading, and a static type system with nominal subtyping.
dc.format.extent 160 p.
dc.format.mimetype application/pdf
dc.language.iso eng
dc.subjectComputer science
dc.title A first-class approach to genericity
dc.type.genre Thesis
dc.type.material Text
thesis.degree.department Computer Science
thesis.degree.discipline Engineering
thesis.degree.grantor Rice University
thesis.degree.level Doctoral
thesis.degree.name Doctor of Philosophy
dc.identifier.citation Allen, Eric Ethan. "A first-class approach to genericity." (2003) Diss., Rice University. https://hdl.handle.net/1911/18503.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record