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

Cached

Download Links

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