Min Zhao, Bruce R. Childers, Mary Lou Soffa. A Framework for Exploring Optimization Properties. In Oege de Moor, Michael I. Schwartzbach, editors, Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Volume 5501 of Lecture Notes in Computer Science, pages 32-47, Springer, 2009. [doi]
Abstract is missing.