瓦伦汀·图尔钦。 超级编译器的概念。 （英语） Zbl 0598.68016号 ACM事务处理。程序。语言系统。 8, 292-325 (1986). 超级编译器是某种类型的程序转换器。它通过原始程序跟踪可能的广义计算历史，并编译一个等效程序，在这个过程中减少了原始程序中可能存在的冗余。可以通过超级编译消除的冗余的性质可能是多种多样的，例如，某些变量可能具有预定义的值（如部分求值），或者可以使控制传输的结构更有效（如惰性求值）；或者，可能只是同一变量被多次使用。描述了超级编译的一般原理，并将其与程序转换的常用方法进行了比较，将其作为一系列等价规则的逐步应用。有人认为Refal语言最能满足超级编译的需要。Refal被正式定义，并与Prolog和其他语言进行了比较。给出了在IBM/370上CCNY实现的Refal超级编译器的操作示例。 引用于1审查引用于38文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号01 软件理论的一般主题 关键词：元系统转换；驱动；程序转换器；冗余；部分评估；控制权转移；惰性评估；程序转换；等价规则；Refal公司；序言 软件：Refal公司 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Turchin}，ACM翻译。程序。语言系统。8、292--325（1986年；Zbl 0598.68016） 全文： 内政部 链接