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