|
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
|
|
120
|
The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages
– Craig Chambers, John Hennessy, Mark Linton
- 1992
|
|
68
|
Rules and Strategies for Transforming Functional and Logic Programs
– A. Pettorossi, M. Proietti, R. Dicembre
- 1996
|
|
24
|
Optimal domains for disjunctive abstract interpretation
– Roberto Giacobazzi, Francesco Ranzato
- 1998
|
|
54
|
Escape Analysis on Lists
– Young Gil Park, Benjamin Goldberg
- 1992
|
|
12
|
Call-by-need and Continuation-passing Style
– Chris Okasaki, Peter Lee, David Tarditi
- 1993
|
|
3
|
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation
– Satyan R. Coorg, Satyan R. Coorg
- 1995
|
|
2
|
Compiling a Functional Language to Efficient SACLIB C
– Wolfgang Schreiner
- 1993
|
|
212
|
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
|
|
272
|
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
|
|
48
|
Proving correctness of compiler optimizations by temporal logic
– David Lacey, Neil D. Jones
- 2002
|
|
21
|
Is Continuation-Passing Useful for Data Flow Analysis?
– Amr Sabry, Matthias Felleisen
- 1994
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
