108
click to vote
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
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...