Semantics-based design and correctness of control-flow analysis-based program transformations. Unpublished (2001)

by Anindya Banerjee, Nevin Heintze, Jon G Riecke