直纪西田;德国维达尔 在术语重写中转换为尾部递归。 （英语） Zbl 1283.68128号 J.日志。阿尔盖布。程序。 83，第1号，53-63（2014）. 摘要：尾部递归函数是一种特殊的递归函数，其主体中的最后一个动作是递归调用。尾部递归非常重要，原因有很多（例如，它们通常更有效）。在本文中，我们介绍了一种一阶函数到尾部递归形式的自动转换。函数是使用（一阶）项重写系统定义的。我们证明了构造函数系统（即典型的一阶函数程序）上基于构造函数的约简变换的正确性。 引用于1文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 2012年第68季度 语法和重写系统 关键词：项重写;程序转换;尾部递归 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{G.Vidal}，J.Log。阿尔盖布。程序。83，第1号，53--63（2014；Zbl 1283.68128） 全文： DOI程序 参考文献： [1] 北西田。；Vidal，G.，尾部递归函数的程序反演，（Schmidt-Schauß，M.，《第22届重写技术和应用国际会议论文集》，《第二十二届重写技术与应用国际会议文献集》，RTA 2011。第22届重写技术与应用国际会议论文集。《第22届改写技术与应用国际会议论文集》，RTA 2011，LIPIcs，第10卷（2011），Schloss Dagstuhl-Leibniz Zentrum für Informatik），283-298·Zbl 1236.68144号 [2] 菲尔德，A。；Harrison，P.，函数编程（1988），Addison Wesley·Zbl 0828.68033号 [3] Plotkin，G.D.，Call-by-name，Call-by-value和lambda-calculus，Theor。计算。科学。，1, 2, 125-159 (1975) ·Zbl 0325.68006号 [4] Steele，G.L.，Rabbit:Scheme的编译器（1978年5月），人工智能实验室：麻省理工学院人工智能实验室，马萨诸塞州剑桥，（理学硕士论文），技术代表AI-TR-474 [5] Wand，M.，《基于连续性的项目转换策略》，J.ACM，27，1，164-180（1980）·Zbl 0429.68028号 [6] 巴德，F。；Nipkow，T.，《术语改写和所有这些》（1998年），剑桥大学出版社 [7] Ohlebusch，E.，《学期改写高级主题》（2002），施普林格出版社·Zbl 0999.68095号 [8] 施耐德-坎普，P。；Giesl，J。；Serebrenik，A。；Thiemann，R.，通过术语重写实现逻辑程序的自动终止证明，ACM Trans。计算。日志。，11, 1, 1-52 (2009) ·Zbl 1351.68054号 [9] 丹维，O。；尼尔森，L.R.，《工作中的失能》（PPDP（2001），ACM），162-174 [10] 艾伯特·E。；Vidal，G.，《函数逻辑程序专业化的狭义驱动方法》，新一代。计算。，20, 1, 3-26 (2002) ·Zbl 1016.68024号 [11] Bondorf，A.，《通过部分评估来编译懒惰》（Jones，S.P.；Hutton，G.；Holst，C.K.，《函数编程》，格拉斯哥，1990年（1991年），《Springer-Verlag:Springer-Verlag Berlin》），9-22 [12] Ramos，J.G。；席尔瓦，J。；Vidal，G.，《感应时序系统的快速窄带驱动部分评估》，（Danvy，O.；Pierce，B.C.，《第十届ACM SIGPLAN国际函数编程会议论文集》，第十届美国计算机学会SIGPLAN功能编程国际会议论文集，ICFP’05（2005），美国计算机学会出版社），228-239·Zbl 1302.68067号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。