Preface
|
Abstract:
Partial evaluation has reached a point where theory and techniques are mature, substantial systems have been developed, and it appears feasible to use partial evaluation in realistic applications. This development is documented in a series of ACM SIGPLAN-sponsored conferences and workshops, Partial Evaluation and SemanticsBased Program Manipulation, held both in the United States and in Europe. In 1987, the first meeting of researchers in partial evaluation took place in Gammel Avernaes, Denmark. Almost ten years later, the time was due to evaluate the progress that has been achieved during the last decade and to discuss open problems, novel approaches, and research directions. A seminar at the International Conference and Research Center for Computer Science at Schlo� � Dagstuhl, located in a beautiful scenic region in the southwest of Germany, seemed ideally suited for that purpose. The meeting brought together specialists on partial evaluation, partial deduction, metacomputation, program analysis, automatic program transformation, and semantics-based program manipulation. The attendants were invited to explore
Citations
| 639 | Efficiently Computing Static Single Assignment Form and the Control Dependence Graph – Cytron, Ferrante, et al. - 1991 |
| 552 | Partial evaluation and automatic program generation – Jones, Gomard, et al. - 1993 |
| 403 | Program Analysis and Specialization for the C Programming Language. PhDthesis, University of Copenhagen, DIKU, DIKU report 94/19 – Andersen - 1994 |
| 242 | Tutorial notes on partial evaluation – Consel, Danvy - 1993 |
| 174 | Type-directed partial evaluation – Danvy - 1996 |
| 141 | The concept of a supercompiler – Turchin - 1986 |
| 73 | Towards an automated tupling strategy – Chin - 1993 |
| 32 | Value dependence graphs: Representation without taxation – Weise, Crew, et al. - 1994 |
| 20 | Tutorial on specialization of logic programs – Gallagher - 1993 |
| 13 | Experiments with a supercompiler – Turchin, Nirenberg, et al. - 1982 |
| 2 | Bibliography on partial evaluation. Available through URL ftp://ftp.diku.dk/pub/diku/dists/jones-book/partial-eval.bib.Z – Sestoft |
