WSDFU

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献9条,1标准件)

显示第1到第9个结果，共9个。
按年份排序(引用)

  1. Glück，Robert:多项式时间下的最大多变量部分求值（2016）
  2. 葛鲁克，罗伯特：第四个富村投影的实验（2010）ioport公司
  3. 乔森，彼得A。；约翰诺德兰德：高阶值调用语言的正超编译（2010）
  4. 葛鲁克，罗伯特：琼斯最优性和BTI通用专家的调查（2008）
  5. 安托夫特，托本；康塞尔，查尔斯；丹维，奥利弗；Malmkjær，卡罗琳：字符串匹配程序的抽象和实例化（2002）
  6. 富村、吉彦；小井，曾次郎；Glück，Robert:WSDFU：基于广义部分计算的程序转换系统（2002）
  7. 富村、吉彦；小井，曾次郎；葛吕克，罗伯特：基于广义部分计算的程序转换系统（2002）
  8. 卡明，山姆；卡拉汉，米兰达；克劳森，拉尔斯：轻量级和生成性组件。二： 二进制级组件（2000）
  9. 宋立通；Futamura，Yoshihiko:专业化的新终止方法（2000）