Fully Reflexive Intensional Type Analysis in Type Erasure Semantics
Last modified: Mon Jul 31 18:59:29 2000 GMT.
AbstractCompilers 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.
Copyright © 1996-2019 The FLINT Group
<flint at cs dot yale dot edu>
Yale University Department of Computer Science