Guaranteed Optimization: Proving Nullspace Properties of Compilers (2002)

by Todd L. Veldhuizen , Andrew Lumsdaine
Venue:In Proceedings of the 2002 Static Analysis Symposium (SAS’02
Citations:9 - 1 self