福村义彦；Konishi，曾次郎；罗伯特·格莱克 WSDFU：基于广义部分计算的程序转换系统。 （英语） Zbl 1026.68510号 托本·莫根森。（ed.）等人，《计算的本质》。复杂性、分析、转换。献给尼尔·D·琼斯的文章。柏林：斯普林格。莱克特。注释计算。科学。2566, 358-378 (2002). 概要：广义部分计算（GPC）是一种程序转换方法，它利用有关输入数据和辅助函数的部分信息以及源程序的逻辑结构。GPC使用推理机（如定理证明器）和经典的部分求值器来优化程序。因此，GPC比经典的部分求值器更强大，但更难实现和控制。我们实现了一个名为WSDFU（早稻田Simplify-Distribute-Fold-Unfold）的实验性GPC系统。本文论证了程序转换系统及其定理证明器的强大功能，并讨论了一些未来的工作。关于整个系列，请参见[Zbl 1013.00017号]. 引用于2文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：WSDFU（WSDFU） PDF格式BibTeX公司 XML格式引用 \textit{Y.Futamura}等人，Lect。注释计算。科学。2566358-378（2002年；Zbl 1026.68510） 全文： 链接