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

by Anindya Banerjee, Nevin Heintze, Jon G Riecke
Venue:Bon90] Anders Bondorf. Self-Applicable Partial Evaluation (Revised Version