Accession Number : ADA305190

Title :   Towards an Implementation of Polymorphic C.

Descriptive Note : Master's thesis,

Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s) : Bonem, Peter B.

PDF Url : ADA305190

Report Date : SEP 1995

Pagination or Media Count : 103

Abstract : Functional programming languages incorporate a number of powerful features, including advanced polymorphic type systems and first-class, higher-order functions. However, these important features have had little effect on popular imperative languages such as C. As part of the Advanced Type Systems Project at NPS, a dialect of C called Polymorphic C has been designed which integrates an advanced polymorphic type system into C. In order to implement full parametric polymorphism while retaining the run time efficiency of C, it is necessary to allow mixed data representations. We recommend adopting a variant of the program translation methods first proposed by Leroy to implement mixed data representations in ML for use in Polymorphic C.

Descriptors :   *POLYMORPHISM, PARAMETRIC ANALYSIS, EFFICIENCY, TIME, TRANSLATIONS, C PROGRAMMING LANGUAGE.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE