The FLINT Project

Research

People

Publications

Software

Support

Links

Internal

Fully Reflexive Intensional Type Analysis in Type Erasure Semantics

Last modified: Mon Jul 31 18:59:29 2000 GMT.

Authors

Bratin Saha
Valery Trifonov
Zhong Shao

Abstract

Compilers for polymorphic languages must support runtime type analysis over arbitrary 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 arbitrary types, into a system that can propagate types through all phases of compilation.

Published

  • In Proc. 2000 ACM SIGPLAN Types in Compilation (TIC '00), Montreal, Canada, September 2000.
  • Technical Report YALEU/DCS/TR-1197, Department of Computer Science, Yale University, June 2000.

Copyright © 1996-2017 The FLINT Group <flint at cs dot yale dot edu>
Yale University Department of Computer Science
Validate this page
colophon