Automatic generation of very efficient programs by Generalized Partial Computation |
| |
Authors: | Yoshihiko Futamura Zenjiro Konishi Robert Glück |
| |
Institution: | 1. Department of Informationr and Computer Science, Waseda University, 3-4-1 Okubo, 169-8555, Shinjuku, Tokyo, Japan 2. Institute for Software Production Technology, Waseda University, 3-4-1 Okubo, Shinjuku, 169-8555, Tokyo, Japan
|
| |
Abstract: | Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties 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 discusses the power of the program transformation system, its theorem prover and future works. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|