Proving the correctness of compiler optimisations based on a global analysis (0)

by G Burn, D Le M'etayer
Venue:Journal of Functional Programming