For a Better Support of Static Data Flow (0)

Cached

Download Links

by Charles Consel , Olivier Danvy
Venue:Functional Programming Languages and Computer Architecture
Citations:59 - 16 self

Active Bibliography

237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
17 Call-by-need and Continuation-passing Style – Chris Okasaki, Peter Lee, David Tarditi - 1993
Design and Implementation of a Partial Evaluation-Based Compiler for an Asynchronous Realtime Programming Language – Markus Freericks - 1996
10 Compiling Monads – Olivier Danvy, Jürgen Koslowski, Karoline Malmkjær, Karoline Malmkjaer - 1991
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
9 Realistic Compilation by Partial Evaluation – Michael Sperber, Peter Thiemann - 1996
1 Partial Evaluation and the Generation of Program Generators – Neil D. Jones - 1993
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
On the Place of Supercompilation inside Program Specialization – Andrei P. Nemytykh
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
35 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
26 Generating Transformers for Deforestation and Supercompilation – Robert Glück, Jesper Jørgensen - 1994
11 Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs – J. Michael Ashley, Charles Consel - 1994
12 On the Specialization of Online Program Specializers – Erik Ruf, Daniel Weise - 1992
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991