An optimising compiler for a modern functional language (1989)

Cached

Download Links

by Adrienne Bloss , P. Hudak , J. Young
Venue:Computer Journal
Citations:3 - 0 self

Active Bibliography

1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
Introduction to Abstract Interpretation – Mads Rosendahl
15 Code optimizations for lazy evaluation – Adrienne Bloss, Paul Hudak, Jonathan Young - 1988
1318 Monads for functional programming – Philip Wadler - 1995
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
543 Perspectives on Program Analysis – Flemming Nielson - 1996
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
607 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995