Fully Reflexive Intensional Type Analysis in Type Erasure Semantics

Abstract

Compilers for polymorphic languages must support runtime type analysis over arbitrary source language types for coding applications like garbage collection, dynamic linking, pickling, etc. On the other hand, compilers are increasingly being geared to generate type-safe object code. Therefore, it is important to support runtime type analysis in a framework that generates type correct object code. In this paper we show how to integrate runtime type analysis over all types of a higher order typed source language, including quantified types, into a system that can propagate type information through all compilation phases.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2005
Accession Number
ADA436474

Entities

People

  • Bratin Saha
  • Valery Trifonov
  • Zhong Shao

Organizations

  • Yale University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Calculus
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Dictionaries
  • Environment
  • Information Operations
  • Language
  • Object Code
  • Semantics
  • Translations
  • Words (Language)

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Database Systems and Applications