杰里米·吉本斯;肾脏，Donnacha Oisín;汤姆·施里杰弗斯;尼古拉斯·吴 通过分段进行宽度第一次遍历。 （英语） 兹伯利07705356 Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，MPC 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13544, 1-33 (2022). 概要：数据结构的有效遍历以预定的顺序在每个元素上迭代，收集过程中的计算效果。树的深度-第一次有效遍历很容易从组成上定义，因为它精确地遵循数据的形状。那么第一次有效的横向遍历呢？间接方法是将数据结构分解为形状和内容，遍历内容，然后用新内容重建数据结构。我们证明，这可以直接使用staging来实现，staging使用与自由应用函子相关的构造来表示。分段遍历有助于融合；我们证明了一种新的有效遍历融合规则，并将其用于解决Bird的“repmin”问题。关于整个系列，请参见[Zbl 1514.68005号]. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：横向的;分段;应用函子;聚变 软件：github PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons}等人，Lect。注释计算。科学。13544，1--33（2022；Zbl 07705356） 全文： 内政部 链接 参考文献： [1] Bird，R.、Gibbons，J.、Mehner，S.、Voigtländer，J.和Schrijvers，T.：理解习惯用法的前后遍历。摘自：哈斯克尔研讨会。ACM（2013）。数字对象标识代码：10.1145/2503778.2503781 [2] Bird，RS，《使用循环程序消除数据的多次遍历》，《信息学报》，21239-250（1984）·Zbl 0551.68017号 ·doi:10.1007/BF00264249 [3] Capriotti，P.，Kaposi，A.：自由应用函子。收录：Levy，P.B.，Krishnaswami，N.（编辑）《数学结构函数编程》。EPTCS，第153卷，第2-30页（2014年）。doi:10.4204/EPTCS.153.2·Zbl 1464.68053号 [4] Danvy，O.，Thiemann，P.，Zerny，I.：循环性和lambda抽象：从Bird到Pettorossi再到back。摘自：Plasmeijer，R.（ed.）《函数语言的实现和应用》，第85页。ACM（2013）。数字对象标识代码：10.1145/2620678.2620687 [5] Easterly，N.：穿越树木的功能和新型包装器：坡道/树木穿越，2019年1月。https://github.com/rampin/tree-traversals [6] Gibbons，J.：《宽度首次穿越》，2015年3月。https://patternsinfp.wordpress.com/2015/03/05/breath-first-traversal/ [7] Gibbons，J.，Jones，G.：被低估的情况正在发生。载：国际函数式编程会议，第273-279页。马里兰州巴尔的摩，1998年9月。doi:10.1145/289423.289455·Zbl 1369.68099号 [8] Gibbons，J.、Kidney，D.O.、Schrijvers，T.、Wu，N.：“通过分段进行宽度第一次穿越”的代码。http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/traversals.hs [9] Gibbons，J.，dos Santos Oliveira，B.C.：迭代器模式的本质。J.功能。程序。19(3,4), 377-402 (2009). doi:10.1017/S0956796809007291·Zbl 1191.68160号 [10] Jaskelioff，M.，Rypacek，O.：关于遍历定律的研究。收录：Chapman，J.，Levy，P.B.（编辑）《数学结构函数编程》。EPTCS，第76卷，第40-49页（2012年）。doi:10.4204/EPTCS.76.5·Zbl 1457.68050号 [11] Jones，G.，Gibbons，J.：线性时间宽度第一树算法：折叠和拉链算法练习。奥克兰大学计算机科学系计算机科学报告第71号，1993年5月。http://www.cs.ox.ac.uk/publications/publication2363-abstract.html，也是IFIP工作组2.1工作文件705 WIN-2 [12] Kidney，D.O.，Wu，N.：加权搜索代数。摘自：《美国计算机学会程序设计语言会议录5》（ICFP），第1-30页（2021年）。数字对象标识代码：10.1145/3473577 [13] Okasaki，C.：宽度第一编号：算法设计小练习的教训。摘自：Odersky，M.，Wadler，P.（编辑）《函数式编程国际会议》，第131-136页。ACM（2000）。数字对象标识代码：10.1145/351240.351253·Zbl 1433.68087号 [14] 帕特森·R。；Gibbons，J。；Nogueira，P.，构造应用函子，程序构造数学，300-323（2012），海德堡：施普林格，海德堡·Zbl 1358.68061号 ·doi:10.1007/978-3642-31113-0_15 [15] Pettorossi，A。；斯科伦，A。；Ehrig，H。；科瓦尔斯基，R。；列维·G。；Montanari，U.，程序推导中的高阶泛化，TAPSOFT’87，182-196（1987），海德堡：斯普林格·Zbl 0614.68009号 ·doi:10.1007/BFB014981 [16] Pettorossi，A.，Skowron，A.：程序派生的lambda抽象策略。《信息学基础》第十二卷，第541-562页（1989年）。doi:10.3233/FI-1989-12407·Zbl 0686.68014号 [17] 里瓦斯，E。；Jaskelioff，M.，《计算作为幺半群的概念》，J.Funct。程序。，27 (2017) ·Zbl 1476.68098号 ·doi:10.1017/S0956796817000132 [18] 里瓦斯，E。；Jaskelioff，M。；Schrijvers，T.，一元非决定论和应用非决定论的统一观点，《科学》。计算。程序。，152, 70-98 (2018) ·doi:10.1016/j.scico.2017.09.007 [19] 塔哈，W。；Lengauer，C。；Batory，D。；康塞尔，C。；Odersky，M.，《多阶段编程简介》，《特定领域程序生成》，30-50（2004），海德堡：斯普林格·数字对象标识代码：10.1007/978-3-540-25935-03 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。