Design and correctness of program transformations based on control-flow analysis (2001)

by A Banerjee, N Heintze, J G Riecke
Venue:Pierce (Eds.), Proc. of 4th Int. Symp. on Theoretical Aspects of Computer Software, TACS 2001, Sendai, Oct. 2001, in: Lect. Notes in Comput. Sci