Sciweavers

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