Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis (1992)

Cached

Download Links

by Geoffrey Burn , Daniel Le Métayer
Citations:17 - 3 self

Active Bibliography

4 Proving the Correctness of Compiler Optimisations Based on Strictness Analysis – Geoffrey Burn, Daniel Le Métayer - 1993
1 Cps-Translation and the Correctness of Optimising Compilers – Geoffrey Burn, Daniel Le Métayer - 1992
16 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
86 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
505 Comprehending Monads – Philip Wadler - 1992
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
650 Perspectives on Program Analysis – Flemming Nielson - 1996
813 Notions of Computation and Monads – Eugenio Moggi - 1991
1436 Monads for functional programming – Philip Wadler - 1995