WSDFU

基于部分变换的广义dfu程序。广义部分计算（GPC）是一种利用输入数据和辅助函数的部分信息以及源程序的逻辑结构进行程序转换的方法。GPC使用一个推理机（如定理证明器和经典的部分求值器）来优化程序。因此，GPC比传统的部分求值器更强大，但更难实现和控制。我们实现了一个实验性的GPC系统WSDFU（早稻田简化分布折叠展开）。本文论证了程序转换系统的强大功能及其定理证明程序，并讨论了今后的工作。