Implementation of an Experimental System for Automatic Program Transformation Based

Abstract. Generalized Partial Computation (GPC) is a program trans-formation method utilizing partial information about input data, ab-stract 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. There-fore, 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 work.