WSDFU

WSDFU:基于广义部分计算的程序转换系统。广义部分计算(GPC)是一种利用输入数据和辅助函数的部分信息以及源程序的逻辑结构的程序转换方法。GPC使用推理机如定理证明器和经典的部分求值器来优化程序。因此,GPC比经典的部分评估器更强大,但难以实现和控制。我们已经实现了一个实验性的GPC系统,称为WSDFU(WAEDA简化分发折叠展开)。本文阐述了程序变换系统的功率及其定理证明器,并讨论了一些未来的工作。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。