Types in Compilation (TIC97)
Invited Lecture
Types in Compilation
Mitchell Wand, Northeastern University
Abstract
We consider some of the issues raised by the use of typed intermediate
languages in compilers for higher-order languages. After a
brief introduction, we consider typed vs. untyped equivalences, the
relation between type analysis and flow analysis, and methods for proving
the corrrectness of analysis-based program transformations.