Towards an Implementation of Polymorphic C.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1995
Accession Number
ADA305190

Entities

People

  • Peter B. Bonem

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • C Programming Language
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Efficiency
  • Engineering
  • Floating Point Operations
  • High Level Languages
  • Language
  • Machine Languages
  • Programming Languages
  • Software Development
  • Software Prototyping
  • Translations
  • United States

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Systems Analysis and Design