Sciweavers

POPL
2006
ACM
14 years 4 months ago
A verifiable SSA program representation for aggressive compiler optimization
Vijay Menon, Neal Glew, Brian R. Murphy, Andrew Mc...