Accession Number:

ADA495003

Title:

Towards an ML-style Polymorphic Type System for C

Descriptive Note:

Conference paper (postprint)

Corporate Author:

FLORIDA INTERNATIONAL UNIV MIAMI SCHOOL OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1996-12-01

Pagination or Media Count:

16.0

Abstract:

Advanced polymorphic type systems have come to play an important role in the world of functional programming. But, curiously, these type systems have so far had little impact upon widely-used imperative programming languages like C and C. We show that ML-style polymorphism can be integrated smoothly into a dialect of C, which we call Polymorphic C. It has the same point operations as C, including the address-of operator , the dereferencing operator , and pointer arithmetic. Our type system allows these operations in their full generality, so that programmers need not give up the flexibility of C to gain the benefits of ML-style polymorphism. We prove a type soundness theorem that gives a rigorous and useful characterization of well-typed Polymorphic C programs in terms of what can go wrong when they are evaluated.

Subject Categories:

  • Linguistics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE