Semantics-Directed Compilation of Non-Linear Patterns (1990)

Cached

Download Links

by Olivier Danvy
Venue:Information Processing Letters
Citations:18 - 4 self

Active Bibliography

26 From interpreting to compiling binding times – Charles Consel, Olivier Danvy - 1990
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
Program and Data Specialization Priciples, . . . – Karoline Malmkjær - 1989
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
54 Lightweight Run-Time Code Generation – Mark Leone, Peter Lee - 1994
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
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
1 Computing Types During Partial Evaluation – Daniel Weise, Erik Ruf - 1990
1 Partial Evaluation and the Generation of Program Generators – Neil D. Jones - 1993
11 Compiler Generation for Interactive Graphics using Intermediate Code – Scott Draves - 1996
7 From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation – René Vestergaard - 1997
1 Partial Evaluation: Principles and Perspectives – Charles Consel, Olivier Danvy - 1993
5 Pragmatic Aspects of Type-Directed Partial Evaluation – Olivier Danvy - 1996
6 Bootstrapping Higher-Order Program Transformers from Interpreters – Michael Sperber, Robert Glück, Peter Thiemann - 1996
11 Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs – J. Michael Ashley, Charles Consel - 1994
9 Realistic Compilation by Partial Evaluation – Michael Sperber, Peter Thiemann - 1996
14 Generating Action Compilers by Partial Evaluation – Anders Bondorf, Jens Palsberg - 1996