A PDF file should load here. If you do not see its contents
the file may be temporarily unavailable at the journal website
or you do not have a PDF plug-in installed and enabled in your browser.
Alternatively, you can download the file locally and open with any standalone PDF reader:
Partial evaluation and program transformation day
New Generation Computing
Partial Evaluation and Program Transformation Day
Robert GLUCK 0 1
0 Yoshihiko F U T A M U R A Dept. of lnformation and ComputerScience, Waseda University 3-4-10kubo, Shinjuku-ku, Tokyo169-8555 fur
1 Waseda University 3-4-10kubo, Shinjuku-ku, Tokyo169-8555 PRESTO, JST&Institutefor SoftwareProductionTechnology glueck~acm , org
This special issue of New Generation Computing contains five, fully reviewed papers presented at the Partial Evaluation and Program Transformation Day held at Waseda University, Tokyo, November 15, 1999. This one-day colloquium featured talks and discussions on semantics-based program transformation with an emphasis on program specialization, generalized partial computation, and automatic program transformation. The contributions in this special issue represent state-of-the-art research ranging from theoretical works to practical studies, and across different programming language paradigms (functional, logic, object-oriented). They are arranged alphabetically. Here is a brief summary of the contributions: 9 Elvira Albert and GermAn Vidal. The Narrowing-Driven Approach to Functional Logic Program Specialization. Surveys the state-of-the-art of narrowingdriven partial evaluation of functional-logic programs. 9 Kenichi Asai. Binding-Time Analysis for Both Static and Dynamic Expressions. Presents a novel binding-time analyzer for a functional language and proves the correctness of the constraint solving algorithm. 9 Olivier Danvy, Bernd Grobauer, and Morten Rhiger. A Unifying Approach to Goal-Directed Evaluation. Addresses the challenge of implementing goaldirected evaluation using computational monads and partial evaluation. 9 Yoshihiko Futamura, Zenjiro Konishi, and Robert Glfick. Automatic Program Transformation System Based on Generalized Partial Computation. Discusses the power of a program transformation system utilizing a theorem prover and a partial evaluator. 9 Hidehiko Masuhara and Akinori Yonezawa. A Portable Approach to Dynamic
Optimization in Run-time Specialization. Proposes a run-time bytecode
specialization technique for the Java virtual machine language.
We would like to thank all authors, the external reviewers, and the journal
editors for providing their expertise and excellent contributions.