Sciweavers

TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
14 years 4 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller