UWSpace is currently experiencing technical difficulties resulting from its recent migration to a new version of its software. These technical issues are not affecting the submission and browse features of the site. UWaterloo community members may continue submitting items to UWSpace. We apologize for the inconvenience, and are actively working to resolve these technical issues.
 

Implementing Overloading and Polymorphism in Cforall

Thumbnail Image

Files

rcbilson2003.pdf (372.36 KB)

Date

2003

Authors

Bilson, Richard C.

Journal Title

Journal ISSN

Volume Title

Publisher

University of Waterloo

Abstract

The programming language Cforall extends the C language with, among other things, overloading, parametric polymorphism, and functions that can return multiple values from a single call. This thesis presents an outline of the first implementation of the core Cforall language. An effective implementation of Cforall requires complete support for new language constructs while preserving the behaviour and efficiency of existing C programs. Analyzing the meaning of Cforall programs requires significantly more sophisticated techniques than are necessary for C programs; existing techniques for the analysis of overloading and polymorphism are adapted and extended to apply to Cforall. Three strategies for generating code for polymorphic programs are compared, using plain C as an intermediate representation. Finally, a realistic Cforall program is presented and characteristics of the generated C code are examined.

Description

Keywords

Computer Science, programming languages, overloading, polymorphism, Cforall

LC Keywords

Citation

URI

http://hdl.handle.net/10012/1166

Collections

Theses
Computer Science