Parameterized types for GOO

Author(s)
Knight, James, 1979-
Thumbnail
DownloadFull printable version (1.900Mb)
Other Contributors
Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
Advisor
Jonathan R. Bachrach.
Terms of use
M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582
Metadata
Show full item record
Abstract
An often-useful addition to many programming languages is a generic type or parameterized type system. I have added support for a parameterized type system to the programming language "GOO". Besides the standard functionality, I have allowed the programmer to express some unique relationships between parameterized types that are generally inexpressible in a standard type system, in order to make the system applicable to a wider variety of situations. I have also added a unification system to the method dispatch in GOO in order to allow the relationship between the types of multiple arguments in a method signature to be expressed.
Description
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
 
Includes bibliographical references (p. 65-66).
 
Date issued
2002
URI
http://hdl.handle.net/1721.1/29657
Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Publisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science.
Collections