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

Documents Related by Co-Citation

98 Projections for Strictness Analysis – Philip Wadler, R. J. M. Hughes - 1987
91 Abstract Interpretation and Optimising Transformations for Applicative Programs – A MYCROFT - 1981
46 Lazy Functional Languages: Abstract Interpretation and Compilation – G L Burn - 1991
52 Strictness Analysis on Non-Flat Domains (by Abstract Interpretation over Finite Domains) – Philip Wadler
29 Evaluation transformers - a model for the parallel evaluation of functional languages – G Burn - 1987
47 Projection Factorisation in Partial Evaluation – John Launchbury - 1990
25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
16 A relationship between abstract interpretation and projection analysis (extended abstract – G L Burn - 1990
57 Strictness analysis: a new perspective based on type inference – Tsung-Min Kuo, Prateek Mishra - 1989
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
44 Strictness Analysis in Logical Form – Thomas P. Jensen - 1991
22 Abstract Interpretation and the Parallel Evaluation of Functional Languages – Geoffrey L Burn - 1987
66 Backwards analysis of functional programs – J Hughes - 1988
70 S.: Strictness analysis for higher-order functions – G L Burn, C L Hankin, Abramsky - 1986
628 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
11 Strictness Analysis in 4D – Kei Davis, Philip Wadler - 1990
124 M.: The categorical abstract machine – G Cousineau, P L Curien, Mauny - 1987
13 Backwards Strictness Analysis: Proved and Improved – Kei Davis, Philip Wadler - 1989
4 A new strictness detection algorithm – S Wray - 1985