Uniform Representation of Data Types in Polymorphic C.

Abstract

A polymorpic dialect of C, called Polymorphic C, has been proposed. The dialect retains the flexibility of C while incorporating ML- style polymorphism and rigorous type reconstruction. Supporting polymorphism in a programming language often requires sacrificing either speed, space, or both in the executable code. The preferred implementation of Polymorphic C would preserve the speed and space efficiency of C. This paper demonstrates an approach for generating efficient executable code for Polymorphic C based on a variation of uniform representation and using byte-wise manipulation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1995
Accession Number
ADA302104

Entities

People

  • Carl M. Pederson Jr

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • C Programming Language
  • Classification
  • Compilers
  • Computer Architecture
  • Computer Programming
  • Computer Science
  • Computers
  • Concrete
  • Conversion
  • Efficiency
  • Language
  • Programming Languages
  • Resilience
  • Schools
  • Security
  • Technical Information Centers

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Computational Modeling and Simulation
  • Database Systems and Applications
  • Immunology

Technology Areas

  • Space