Program transformation system based on generalized partial computation |
| |
Authors: | Yoshihiko Futamura Zenjiro Konishi Robert Glück |
| |
Affiliation: | (1) Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555 Tokyo, Japan;(2) PRESTO, JST, Japan |
| |
Abstract: | Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, abstract
data types of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as
a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial
evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify-Distribute-Fold-Unfold).
This paper demonstrates the power of the program transformation system as well as its theorem prover and discusses some future
works.
Yoshihiko Futamura, Ph.D.: He is Professor of Department of Information and Computer Science and the director of the Institute for Software Production
Technology (ISPT) of Waseda University. He received his BS in mathematics from Hokkaido University in 1965, MS in applied
mathematics from Harvard University in 1972 and Ph.D. degree from Hokkaido University in 1985. He joined Hitachi Central Research
Laboratory in 1965 and moved to Waseda University in 1991. He was a visiting professor of Uppsala University from 1985 to
1986 and a visiting scholar of Harvard University from 1988 to 1989. Automatic generation of computer programs and programming
methodology are his main research fields. He is the inventor of the Futamura Projections in partial evaluation and ISO8631
PAD (Problem Analysis Diagram).
Zenjiro Konishi: He is a visiting lecturer of Institute for Software Production Technology, Waseda University. He received his M. Sc. degree
in mathematics from Waseda University in 1995. His research interests include automated theorem proving. He received JSSST
Takahashi Award in 2001. He is a member of JSSST and IPSJ.
Robert Glück, Ph.D., Habil.: He is an Associate Professor of Computer Science at the University of Copenhagen. He received his Ph.D. and Habilitation
(venia docendi) from the Vienna University of Technology in 1991 and 1997. He was research assistant at the City University of New York
and received twice the Erwin-Schrodinger-Fellowship of the Austrian Science Foundation (FWF). After being an Invited Fellow
of the Japan Society for the Promotion of Science (JSPS), he is now funded by the PRESTO21 program for basic research of the
Japan Science and Technology Corporation (JST) and located at Waseda University in Tokyo. His main research interests are
advanced programming languages, theory and practice of program transformation, and metaprogramming. |
| |
Keywords: | Partial Evaluation Program Transformation Theorem Proving Program Optimization Recursion Removal Algebraic Manipulation |
本文献已被 SpringerLink 等数据库收录! |
|