Guaranteed Optimization: Proving Nullspace Properties of Compilers (2002)

by T L Veldhuizen, A Lumsdaine
Venue:In 9th International Symposium on Static Analysis (SAS 2002). Lecture Notes in Computer Science