Using Projection Analysis in Compiling Lazy Functional Programs (1990)

Cached

Download Links

by G.L. Burn
Venue:In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming
Citations:15 - 6 self

Active Bibliography

8 Implementing the Evaluation Transformer Model of Reduction on Parallel Machines – G. L. Burn - 1991
28 The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network – Hugh Kingdon, David R. Lester, Geoffrey L. Burn - 1991
25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
1 Cps-Translation and the Correctness of Optimising Compilers – Geoffrey Burn, Daniel Le Métayer - 1992
4 Proving the Correctness of Compiler Optimisations Based on Strictness Analysis – Geoffrey Burn, Daniel Le Métayer - 1993
2 Fast Strictness Analysis Based on Demand Propagation – R. Sekar, I. V. Ramakrishnan - 1995
6 Uniform Ideals and Strictness Analysis – Christine Ernoult, Alcatel Alsthom Recherche, Alan Mycroft - 1991
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
A New Framework for Strictness Analysis Using Demand Propagation – G. Tremblay, G.R. Gao
98 Projections for Strictness Analysis – Philip Wadler, R. J. M. Hughes - 1987
Automatic Parallelization of Lazy Functional Programs – Guido Hogen Andrea, Andrea Kindler, Rita Loogen - 1992
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
PERs Generalise Projections for Strictness Analysis – Exte Nd Ed, Sebastian Hunt - 1990
Strictness Analysis - Another Method – Michael Winikoff, Supervisor Dr. Harald Sndergaard, Langsam Misterioso - 1993
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
28 Abstract interpretation based formal methods and future challenges, invited paper – Patrick Cousot - 2001
10 Compositional Optimization of Disjunctive Abstract Interpretations – Roberto Giacobazzi, Francesco Ranzato - 1996