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

by A Banerjee, N Heintze, J G Riecke
Venue:In Intl. Symp. on Theoretical Aspects of Computer Software (TACS). Lecture Notes in Computer Science