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'etayer - 1992
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
240 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
2 Analyse Statique De Programmes : Fondements Et Applications – Thomas Jensen, M. Jean-pierre, Bantre Prsident, Mm Nicolas, Neil Jones, Giorgio Levi, Mm Charles, Consel Examinateurs, Daniel Le Mtayer, T. Jensen - 1999
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
12 Strictness and Totality Analysis – Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson - 1994
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
Décrire Et Comparer Les Implantations De Langages Fonctionnels – Rémi Douence, Pascal Fradet - 1996
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
192 Verification by abstract interpretation – Patrick Cousot - 2003
28 Abstract interpretation based formal methods and future challenges, invited paper – Patrick Cousot - 2001
ACM Workshop on Strategic Directions in Computing Research – Mit Laboratory, Patrick Cousot
3 Program Analysis Position Statement: The Abstract Interpretation Perspective – P. Cousot - 1996
8 On the Safety of Nöcker’s Strictness Analysis – Manfred Schmidt-Schauß, Marko Schütz, David Sabel