Sciweavers

2 search results - page 1 / 1
» Flattening tuples in an SSA intermediate representation
Sort
View
LISP
2008
104views more  LISP 2008»
13 years 4 months ago
Flattening tuples in an SSA intermediate representation
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
13 years 10 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