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
Introduction to Abstract Interpretation – Mads Rosendahl
Properties of Program Analysis Techniques – Geoffrey Burn - 1993
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
543 Perspectives on Program Analysis – Flemming Nielson - 1996
568 Term Rewriting Systems – J. W. Klop - 1992
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999