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
15 Code optimizations for lazy evaluation – Adrienne Bloss, Paul Hudak, Jonathan Young - 1988
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
10 Compositional Optimization of Disjunctive Abstract Interpretations – Roberto Giacobazzi, Francesco Ranzato - 1996
127 The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages – Craig Chambers, John Hennessy, Mark Linton - 1992
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
27 Optimal domains for disjunctive abstract interpretation – Roberto Giacobazzi, Francesco Ranzato - 1998
9 Environment Analysis via ∆CFA – Matthew Might, et al. - 2006
57 Escape Analysis on Lists – Young Gil Park, Benjamin Goldberg - 1992
3 Partitioning Non-strict Functional Languages for Multi-threaded Code Generation – Satyan R. Coorg, Satyan R. Coorg - 1995
17 Call-by-need and Continuation-passing Style – Chris Okasaki, Peter Lee, David Tarditi - 1993
2 Compiling a Functional Language to Efficient SACLIB C – Wolfgang Schreiner - 1993
229 Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs – Eric Mohr, David A. Kranz, Robert H. Halstead, Jr. - 1991
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
Forwards and Backwards Analysis for Functional Programs – Andrei Sabelfeld Chalmers, Viktor Sabelfeld
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
2 Semantics-based Reverse Engineering – Peter Baumann, Jürg Fässler, Markus Kiser, Zafer Öztürk, Lutz Richter - 1994
54 Proving correctness of compiler optimizations by temporal logic – David Lacey, Neil D. Jones - 2002
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994