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

Active Bibliography

1 Cps-Translation and the Correctness of Optimising Compilers – Geoffrey Burn, Daniel Le Métayer - 1992
15 Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis – Geoffrey Burn, Daniel Le Métayer - 1992
Properties of Program Analysis Techniques – Geoffrey Burn - 1993
241 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
543 Perspectives on Program Analysis – Flemming Nielson - 1996
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991