Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types (1990)

Cached

Download Links

by Anders Bondorf , Olivier Danvy
Venue:Science of Computer Programming
Citations:117 - 30 self

Active Bibliography

9 Generating a pattern matching compiler by partial evaluation – Jesper Jørgensen - 1990
20 Generating a Compiler for a Lazy Language by Partial Evaluation – Jesper Jørgensen - 1992
1 Partial Evaluation and the Generation of Program Generators – Neil D. Jones - 1993
134 An Introduction to Partial Evaluation – Neil D. Jones - 1996
5 Search-Based Binding Time Analysis using Type-Directed Pruning – Tim Sheard, Nathan Linger - 2002
Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop – Flemming Nielson, (Ed.) - 1993
16 Constructor Specialization – Torben Æ. Mogensen, Torben Ae. Mogensen
26 Generating Transformers for Deforestation and Supercompilation – Robert Glück, Jesper Jørgensen - 1994
Optimization of Equational Programs Using Partial Evaluation – David Sherman Department, David Sherman, Robert Strandh - 1991
Redundancy Analyses in Term Rewriting (Extended Abstract) – María Alpuente, Santiago Escobar, Salvador Lucas - 2000
A Partial Evaluation Tool for Multi-Paradigm Declarative Languages – German Vidal - 2002
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
1 A Practical Method for Program Specialization in a Multi-Paradigm Language – Elvira Albert, Michael Hanus, Germán Vidal - 2000
1 Partial Evaluation: Principles and Perspectives – Charles Consel, Olivier Danvy - 1993
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
6 Higher-Order Rewriting and Partial Evaluation – Kristoffer H. Rose, Olivier Danvy - 1998
21 Specialization of Inductively Sequential Functional Logic Programs – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
4 Supervising Offline Partial Evaluation of Logic Programs using Online Techniques – Michael Leuschel, Stephen-john Craig, Dan Elphick - 2006
Computing More Specific Versions of Conditional Rewriting Systems ⋆ – Naoki Nishida, Germán Vidal