菲利普·沃德勒 砍伐森林：改造项目以消除树木。 （英语） Zbl 0701.68013号 西奥。计算。科学。 73，No.2，231-248（1990）. 摘要：提出了一种转换程序以消除中间树的算法。该算法适用于任何只包含具有给定语法形式定义的函数的术语，并且适合合并到优化编译器中。 引用于54文件 MSC公司： 68号01 软件理论的一般主题 68宽10 计算机科学中的并行算法 68N20型 编译与解释理论 关键词：中间列表;函数式编程;函数式语言;森林砍伐算法;程序转换;优化编译器 软件：米兰达;毫升 PDF格式BibTeX公司 XML格式引用 \文本{P.Wadler}，Theor。计算。科学。73，No.2，231--248（1990；Zbl 0701.68013） 全文： 内政部 参考文献： [1] Augussson，L.，编译模式匹配， （《函数编程语言和计算机体系结构程序汇编》、《函数编程编程语言和计算体系结构程序学报》，法国南希计算机科学，201（1985），施普林格：施普林格柏林） [2] Augusson，L。；Johnsson，T.，Chalmers Lazy ML编译器，计算机。J.，32，2，127-141（1989） [3] R.M.伯斯托尔。；Darlington，J.，开发递归程序的转换系统，J.ACM，24，1，44-67（1977）·Zbl 0343.68014号 [4] Davis，M.K.，《森林砍伐：功能程序的转换以消除中间树》（M.Sc.论文（1987），牛津大学编程研究小组） [5] Damas，L。；Milner，R.，功能程序的主要类型方案，Proc。ACM交响乐团。程序设计语言原理（1982） [6] 弗格森·A·B。；Wadler，P.L.，何时停止砍伐森林？，（研究报告89/R4。研究报告89/R4，Proc。1988年8月（1989年），格拉斯哥大学计算科学系，布特岛罗塞塞，格拉斯哥函数编程研讨会 [7] Goguen，J.A.，《被认为不需要高阶编程的高阶函数》（技术报告SRI-CSL-88-1（1988），SRI国际） [8] Hindley，R.，组合逻辑中对象的主要类型方案，Trans。阿默尔。数学。《社会学杂志》，146，29-60（1979）·Zbl 0196.01501号 [9] Milner，R.，《编程中的类型多态性理论》，J.Compute。系统科学。，17, 348-375 (1978) ·Zbl 0388.68003号 [10] Peyton Jones，S.L.，《函数式编程语言的实现》（1987），普伦蒂斯·霍尔：普伦蒂斯·霍尔·恩格尔伍德克利夫斯，新泽西州·Zbl 0712.68017号 [11] Turchin，V.F。；尼伦伯格，R.M。；Turchin，D.V.，《使用超级编译器的实验》，宾夕法尼亚州匹兹堡。ACM交响乐团。Lisp与函数编程（1982） [12] Wadler，P.L.，《Listless is better than laziss:lazy evaluation and garbage collection at compile time》，德克萨斯州奥斯汀市，德克萨斯州。ACM交响乐团。关于Lisp和函数编程（1984） [13] Wadler，P.L.，listless is better than launess II：composition listless functions，（Proc.Workshop on Programs as Data Objects.Proc.Workshop on Program as Data Objects，计算机科学讲稿，217（1984），Springer:Springer Berlin），哥本哈根·兹伯利0596.68016 [14] Wadler，P.L.，《模式匹配的高效编译》（Peyton Jones，S.L.，函数式编程语言的实现（1987），普伦蒂斯·霍尔：普伦蒂斯·霍尔·恩格尔伍德·克利夫斯，新泽西州）·Zbl 0712.68017号 [15] Wadler，P.L.，The concatenate vanises（1987），分发给FP电子邮件列表的注释 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。