WSDFU

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

本软件关键词

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

ZBMaX中的参考文献（9篇）1标准条款）

显示结果1至9的9。
按年份排序（引文）

  1. GL uck，罗伯特：多项式时间的最大多变量部分求值（2016）
  2. GL UCK，罗伯特：第四FutAMUA投影实验（2010）伊波尔特
  3. Jonsson，Peter A.；Nordlander，Johan：用高值语言进行高阶调用的正超级编译（2010）
  4. GL UCK，罗伯特：琼斯最优和BTI通用专家的研究（2008）
  5. 阿姆措夫特，Torben；查尔斯，Danvy，奥利维尔；Malmikjr，KalOL:字符串匹配程序的抽象和实例化（2002）
  6. Futamura，YoHIHIKO；Konishi，Zenjiro；GL UCK，罗伯特：WSDFU：基于广义部分计算的程序变换系统（2002）
  7. Futamura，Konishi，Zenjiro，GL UCK，罗伯特：基于广义部分计算的程序变换系统（2002）
  8. Kamin，山姆；卡拉汉，米兰达；克劳森，拉尔斯：轻量级和生成性成分。二：二进制级组件（2000）
  9. 歌曲，Litong；FutaMula，Yoshihiko：一种新的专业化终止方法（2000）