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'etayer - 1992
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
Décrire Et Comparer Les Implantations De Langages Fonctionnels – Rémi Douence, Pascal Fradet - 1996
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
10 A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction – Rémi Douence , Pascal Fradet - 1996
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
240 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
15 Using Projection Analysis in Compiling Lazy Functional Programs – G.L. Burn - 1990
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
192 Verification by abstract interpretation – Patrick Cousot - 2003
ACM Workshop on Strategic Directions in Computing Research – Mit Laboratory, Patrick Cousot
3 Program Analysis Position Statement: The Abstract Interpretation Perspective – P. Cousot - 1996
6 Projections for Polymorphic First-Order Strictness Analysis – John Hughes, John Launchbury - 1991
4 Higher Order Demand Propagation – Dirk Pape, Freie Universität Berlin - 1998
11 The Evaluation Transformer Model of Reduction and Its Correctness – G. L. Burn - 1991
14 On the Transformation between Direct and Continuation Semantics – Olivier Danvy, John Hatcliff - 1993