Proving the Correctness of Compiler Optimisations Based on Strictness Analysis (1993)

by Geoffrey Burn, Daniel Le Métayer
Venue:in Proceedings 5th int. Symp. on Programming Language Implementation and Logic Programming, LNCS 714