Cps-Translation and the Correctness of Optimising Compilers (1992)

by Geoffrey Burn , Daniel Le Métayer
Citations:1 - 0 self

Active Bibliography

4 Proving the Correctness of Compiler Optimisations Based on Strictness Analysis – Geoffrey Burn, Daniel Le Métayer - 1993
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
83 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
575 Perspectives on Program Analysis – Flemming Nielson - 1996
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1353 Monads for functional programming – Philip Wadler - 1995
503 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003