×

WSDFU

swMATH ID: 2362
Software Authors: Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert
Description: WSDFU: Program transformation system based on generalized partial computation. Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data and auxiliary functions as well as 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.
Homepage: http://www.springerlink.com/content/c2auqbxf82r9j7mq/
Keywords: Generalized Partial Computation; GPC; Program transformation
Related Software: ECCE; STL; Refal
Referenced in: 8 Publications

Referenced in 1 Field

8 Computer science (68-XX)

Referencing Publications by Year