罗伯特·格莱克;横山，铁雄 从编程语言的角度看可逆计算。 （英语） Zbl 07667524号 西奥。计算。科学。 953，文章ID 113429，26 p.（2023）. 概要：软件在可逆计算系统的各个方面都发挥着中心作用，并且已经开发了各种可逆编程语言。本演示从编程语言的角度重点介绍了可逆计算的原理和主要思想，重点介绍了干净的可逆语言。它们是软件的构建材料，可以获得可逆硬件的好处，并且本身也很有趣。可逆计算通常位于编程语言中，并详细阐述了相关概念，包括可计算性、注入性和可逆性。介绍了许多可逆语言的代表性特征，如可逆更新、可逆迭代和对程序逆语义的访问。介绍了对可逆程序设计特别重要的元程序设计方法，包括程序反演和逆解释。我们的演示与特定语言无关，尽管在示例中主要使用可逆语言Janus。 引用于三文件 MSC公司： 第68页第15页 编程语言理论 2009年第68季度 其他非经典计算模型 关键词：可逆计算;可逆程序设计;函数注入;程序可逆化;程序反转;反演解释;计算-取消计算;元计算 软件：屋顶PPC;CauDEr公司;LRinv公司;GDB公司;SyReC公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{T.横山}，Theor。计算。科学。953，文章ID 113429，26 p.（2023；Zbl 07667524） 全文： 内政部 OA许可证 参考文献： [1] Abramov，S.M。；Glück，R.，《将语义与非标准解释器层次结构相结合》，（Kapoor，S.；Prasad，S.，《软件技术和理论计算机科学基础》，论文集，软件技术和计算机理论科学基础，论文集LNCS，卷1974（2000），Springer），201-213·Zbl 1044.68664号 [2] Abramov，S.M。；Glück，R.，《通用求解算法：函数语言中的逆计算》，（Backhouse，R.；Oliveira，J.N.，《程序构造数学》，《程序构建数学》，LNCS，第1837卷（2000），Springer），187-212·Zbl 0963.68500号 [3] Abramov，S.M。；Glück，R.，《通过语义修饰语从标准语义到非标准语义》，国际期刊Found。计算。科学。，12, 171-211 (2001) ·Zbl 1319.68050号 [4] Abramov，S.M。；Glück，R.，《逆计算原理和通用求解算法》，（Mogensen，T.Æ.等人，《计算的本质：复杂性，分析，转换》，《计算本质：复杂性、分析、转换》，LNCS，第2566卷（2002年），Springer），269-295·Zbl 1026.68023号 [5] Abramov，S.M。；Glück，R.，《通用求解算法及其正确性：函数语言中的逆计算》，Sci。计算。程序。，43, 193-229 (2002) ·Zbl 1014.68037号 [6] Abramsky，S.，《可逆计算的结构方法》，Theor。计算。科学。，347, 441-464 (2005) ·Zbl 1081.68019号 [7] Aman，B.，《可逆计算的基础》，（Ulidowski，I.；Lanese，I.，Schultz，U.P.；Ferreira，C.，《可逆计算机：扩展计算的范围》，LNCS，第12070卷（2020），Springer），1-40 [8] 阿克塞尔森，H.B。；Glück，R.，《一种简单高效的通用可逆图灵机》，（Dediu，A.-H.；Inenaga，S.；Martín-Vide，C.，《语言与自动机理论与应用》，《语言和自动机理论及应用学报》，LNCS，第6638卷（2011），斯普林格出版社），117-128·Zbl 1330.68066号 [9] Axelsen，H.B。；Glück，R.，可逆程序计算什么？，（Hofmann，M.，《软件科学和计算结构基础》，《程序集》，软件科学基础和计算结构，LNCS，第6604卷（2011），Springer），42-56·Zbl 1326.68134号 [10] Axelsen，H.B。；Glück，R.，堆中构造函数项的可逆表示和操作，（Dueck，G.W.；Miller，D.M.，可逆计算。Proceedings.Reversible Computations，LNCS，vol.7948（2013），Springer），96-109·兹比尔1407.68105 [11] Axelsen，H.B。；Glück，R.，《可逆图灵机及其功能通用性》，《信息学报》。，53, 509-543 (2016) ·Zbl 1348.68051号 [12] 阿克塞尔森，H.B。；Yokoyama，T.，《可逆比较排序的编程技术》，（Feng，X.；Park，S.，《编程语言和系统》，Proceedings.Programming Languages and Systems.Proceedings，LNCS，vol.9458（2015），Springer），407-426·Zbl 1329.68090号 [13] Axelsen，H.B。；格吕克，R。；横山由纪夫，T.，《可逆机器码及其抽象处理器体系结构》，（Diekert，V.；等，《计算机科学-理论与应用》，Proceedings.Computer Science-Theory and Applications.Proceedings，LNCS，vol.4649（2007），Springer），56-69·Zbl 1188.68108号 [14] Axelsen，H.B。；格吕克，R。；De Vos，A。；汤姆森，M.K.，《微功率：走向具有可逆计算的低功率微处理器》，ERCIM新闻，专题：走向绿色ICT，79，20-21（2009） [15] Axelsen，H.B.，命令式可逆编程语言的干净翻译，（Knoop，J.，编译器构造，程序集，编译器构造。程序集，LNCS，第6601卷（2011），Springer），144-163 [16] Baker，H.G.，NREVERSAL of fortune-the热力学of garbage collection，（Bekkers，Y.；Cohen，J.，International Workshop on Memory Management，Proceedings.记忆管理国际研讨会，LNCS，第637卷（1992），Springer），507-524 [17] Bennett，C.H.，《计算的逻辑可逆性》，IBM J.Res.Dev.，17，525-532（1973）·Zbl 0267.68024号 [18] Bennett，C.H.，可逆计算的时间/空间权衡，SIAM J.Compute。，18, 766-776 (1989) ·Zbl 0676.68010号 [19] 贝鲁特，A。；Arakelyan，A。；Petrosyan，A。；Ciliberto，S。；Dillenschneider，R。；Lutz，E.，《兰道尔信息与热力学原理的实验验证》，《自然》，483187-189（2012） [20] Briggs，J.S.，《生成可逆程序》，Softw。实践。实验，17439-453（1987） [21] Carothers，C.D。；Perumalla，K.S。；Fujimoto，R.M.，使用反向计算的高效乐观并行模拟，ACM Trans。模型。计算。模拟。，9, 224-253 (1999) [22] Cservenka，M.H。；格吕克，R。；哈伦德，T。；莫根森，T.Æ。，可逆语言中的数据结构和动态内存管理，（Kari，J.；Ulidowski，I.，reversible Computation.Proceedings.Reversibble Computations.Proceedings，LNCS，vol.11106（2018），Springer），269-285·Zbl 1515.68090号 [23] De Vos，A.，《可逆计算：基础、量子计算和应用》（2010），威利出版社·Zbl 1248.68003号 [24] De Vos，A.，计算热力学的内可逆模型，熵，22，第660条，pp.（2020） [25] 德沃雷茨基，N。；Meyer，U.，《可逆语言的程序分析》，（Do，L.N.Q.；Urban，C.，《程序分析最新技术国际研讨会》，会议记录（2021），ACM），13-18 [26] Dijkstra，E.W.，程序倒置，（Bauer，F.L.；Broy，M.，程序建设：国际暑期学校。程序建设：国际暑期学校，LNCS，第69卷（1978），施普林格），54-57·Zbl 0457.68018号 [27] Dijkstra，E.W.，《论科学思想的作用》（EWD447），（计算机文选：个人视角（1982），施普林格），60-66 [28] Eppstein，D.，《程序反转的启发式方法》，（Joshi，A.K.，国际人工智能联合会议（IJCAI-85）。《程序集》，第1卷（1985年），Morgan Kaufmann，Inc.），219-221 [29] Ershov，A.P.，《论编译的本质》，（Neuhold，E.，编程概念的形式化描述（1978），北荷兰），391-420·Zbl 0373.68018号 [30] 费尔南德斯，M。；Mackie，I.，《命令式编程语言的可逆操作语义》，（Lin，S.；Hou，Z.；Mahony，B.P.，《形式方法和软件工程》，《程序集》，LNCS，第12531卷（2020），Springer），91-106 [31] Feynman，R.P.，《量子机械计算机》，Found。物理。，16, 507-531 (1986) [32] Feynman，R.P.，《可逆计算和计算热力学》（第5章），（Hey，A.J.G.；Allen，R.W.，Feynman计算讲座（1996），Addison-Wesley），137-184 [33] Floyd，R.W.，《非确定性算法》，J.ACM，14636-644（1967）·Zbl 0153.47006号 [34] 福斯特，J.N。；格林沃尔德，M.B。；摩尔，J.T。；皮尔斯，公元前。；Schmitt，A.，《双向树转换的组合器：视图更新问题的语言方法》，ACM Trans。程序。语言系统。，29，第17条pp.（2007） [35] Frank，M.P.，《高效计算的可逆性》（1999），麻省理工学院：麻萨诸塞州剑桥大学，博士论文 [36] 弗雷德金，E。；Toffoli，T.，《保守逻辑》，国际期刊Theor。物理。，21, 219-253 (1982) ·Zbl 0496.94015号 [37] Futamura，Y.，计算过程的部分评估——编译器-编译器的方法，系统。计算。控件，245-50（1971） [38] 格吕克，R。；Kaarsgaard，R.，结构化可逆流程图语言的分类基础：可靠性和充分性，Log。方法计算。科学。，14，第16条pp.（2018）·Zbl 1398.68082号 [39] 格吕克，R。；Kawabe，M.，《具有等式和构造函数的函数语言的程序反相器》，（Ohori，A.，《编程语言和系统》，《程序设计语言和系统学报》，LNCS，第2895卷（2003），Springer），246-264·Zbl 1254.68057号 [40] 格吕克，R。；Kawabe，M.，一种基于LR（0）解析的自动程序反转方法，Fundam。通知。，66, 367-395 (2005) ·Zbl 1098.68025号 [41] 格吕克，R。；Kawabe，M.，重温Lisp的自动程序逆变器，SIGPLAN Not。，40, 8-17 (2005) [42] 格吕克，R。；Klimov，A.V.，《计算机科学和数学中的元系统转换方案》，《世界未来》，45，213-243（1995） [43] 格吕克，R。；Klimov，A.V.，《关于程序生成器通过程序合成退化》，《新一代》。计算。，16, 75-95 (1998) [44] 格吕克，R。；Leuschel，M.，《解决反问题的基于抽象的部分演绎：软件验证的转换方法》，（Björner，D.；Broy，M.；Zamulin，a.V.，《系统信息学的观点》，《程序集：系统信息学观点》，LNCS，第1755卷（2000），Springer），93-100·Zbl 0970.68732号 [45] 格吕克，R。；Turchin，V.F.，元系统转换在函数反演和变换中的应用，（符号和代数计算国际研讨会，会议记录（1990），ACM出版社），286-287 [46] 格吕克，R。；横山，T.，可逆命令式语言的线性时间自我解释者，计算。软质。，33, 108-128 (2016) [47] 格吕克，R。；横山由纪夫，T.，极简主义者的可逆while语言，IEICE Trans。信息系统。，E100-D，1026-1034（2017） [48] 格吕克，R。；Yokoyama，T.，通过可逆递归和迭代从遍历中构建二叉树，Inf.Process。莱特。，147, 32-37 (2019) ·Zbl 1473.68214号 [49] 格吕克，R。；横山，T.，《用最少的额外数据使程序可逆》，《新一代》。计算。，40, 467-480 (2022) [50] 格吕克，R。；Yokoyama，T.，《可逆编程：两种字符串匹配算法的案例研究》（Hamilton，G.W.；Kahsai，T。；Proietti，M.，《验证与综合、验证与程序转换的Horn子句》。诉讼程序。验证与综合、验证与程序转换的Horn子句。《理论计算机科学电子论文集》，第373卷（2022年），第1-13页·Zbl 1522.68032号 [51] 格吕克，R。；Kawada，Y。；Hashimoto，T.，通过部分评估将口译员转换为反向口译员，（部分评估和基于语义的程序操作），《会议录》（2003），ACM出版社，10-19 [52] 格吕克，R。；Kaarsgaard，R。；横山，T.，《从可逆编程语言到可逆元语言》，Theor。计算。科学。，920, 46-63 (2022) ·Zbl 07527764号 [53] Glück，R.，《从编程语言角度看可逆计算》（扩展抽象），（Sekerinski，E.等，形式方法。FM 2019国际研讨会。第二部分。会议记录。形式方法 [54] GNU项目，GDB：GNU项目调试器。GDB和反向调试（2009） [55] Gries，D.，《程序设计科学》，265-274（1981），Springer，第21章：计算机科学中的反转程序、文本和专著·Zbl 0472.68003号 [56] Hagiya，M。；王，S。；川端康成，I。；Murata，S。；Isokawa，T。；佩珀，F。；Imai，K.，《关于基于DNA的凝胶自动机》，（Ibarra，O.H.；Kari，L.；Kopecki，S.，《非传统计算和自然计算》，论文集（2014），Springer），177-189·兹比尔1445.68093 [57] Haulund，T。；莫根森，T。；Glück，R.，《在可逆机器上实现可逆的面向对象语言特性》，（Iain，P.；Hafizur，R.《可逆计算》，《可逆计算学报》，LNCS，第10301卷（2017），Springer），66-73·Zbl 1487.68079号 [58] Hay-Schmidt，L。；格吕克，R。；Cservenka，M.H。；Haulund，T.，《面向可逆面向对象编程的统一语言架构》（Yamashita，S.；Yokoyama，T.），《可逆计算程序集.可逆计算程序》，LNCS，第12805（2021）卷，Springer），96-106·Zbl 07419485号 [59] 霍伊，J。；Ulidowski，I.，《逆转命令式并发编程语言》，Sci。计算。程序。，223，第102873条pp.（2022） [60] 霍尔泽，M。；Kutrib，M.，可逆不确定性有限自动机，（Phillips，I.；Rahaman，H.，可逆计算。可逆计算。程序，LNCS，第10301卷（2017），Springer），35-51·兹比尔1487.68147 [61] 琼斯，N.D。；Gomard，C.K。；Sestoft，P.，《部分评估和自动程序生成》（1993），Prentice-Hall·Zbl 0875.68290号 [62] Kaarsgaard，R。；Axelsen，H.B。；Glück，R.，连接逆范畴和可逆递归，J.Log。代数方法程序。，87, 33-50 (2017) ·Zbl 1359.68045号 [63] Kari，J.，《可逆细胞自动机：从基本经典结果到最新发展》，《新世代》。计算。，36, 145-172 (2018) [64] 川部，M。；Glück，R.，《程序反相器LRinv及其结构》，（Hermenegildo，M.；Cabeza，D.，《声明语言的实用方面》，《程序集》，LNCS，第3350卷（2005），Springer），219-234 [65] Kirkeby，M.H。；Glück，R.，条件构造器项重写系统的半嵌入，（Gabbrielli，M.，Logic-Based Program Synthesis and Transformation，Proceedings.Logic-Based-Program Syntensation and Transformation.Proceedings，LNCS，vol.12042（2020），Springer），243-259·Zbl 1502.68152号 [66] Kluge，W.，可逆SE（M）CD机，（Koopman，P.；Clack，C.，《函数语言的实现》，《程序集.函数语言的实施》，LNCS，第1868卷（2000），Springer），95-113 [67] Korf，R.E.，《应用程序的反转》，（国际人工智能联合会议（IJCAI-81）。诉讼（1981），William Kaufmann，Inc.），1007-1009 [68] Kowalski，R.，作为编程语言的谓词逻辑，（Rosenfeld，J.L.，《信息处理》，第74卷（1974年），北荷兰），569-574·Zbl 0297.68006号 [69] Kowalski，R.，算法=逻辑+控制，通信。ACM，22，424-436（1979）·Zbl 0404.68010号 [70] Krakovsky，M.，接受挑战，Commun。ACM，64岁，18-20岁（2021） [71] Králović，R.，可逆卵石的时间和空间复杂性，RAIRO Theor。通知。申请。，38, 137-161 (2004) ·Zbl 1082.68031号 [72] 库特里布，M。；美国迈耶。；德沃雷茨基，N。；Schuster，M.，《将Janus编译成RSSA》，（山下幸之；横山由纪夫，T.，《可逆计算》，会议录（2021年），64-78·Zbl 07419483号 [73] Landauer，R.，《计算过程中的不可逆性和发热》，IBM J.Res.Dev.，5，183-191（1961）·Zbl 1160.68305号 [74] 拉内斯，我。；Nishida，N。；Palacios，A。；Vidal，G.，CauDEr:Erlang的因果一致可逆调试器，（Gallagher，J.；Sulzmann，M.，《函数和逻辑编程》，《程序集》，LNCS，第10818卷（2018），Springer），247-263·Zbl 1507.68066号 [75] 兰格，K.-J。；McKenzie，P。；Tapp，A.，可逆空间等于确定性空间，J.Compute。系统。科学。，60, 354-367 (2000) ·Zbl 0956.68057号 [76] 劳尔森，J.S。；Ellekilde，L.-P。；Schultz，U.P.，机器人装配可逆执行建模，Robotica，36，625-654（2018） [77] Leeman，G.B.，《编程语言中撤销操作的正式方法》，ACM Trans。程序。语言系统。，8, 50-97 (1986) ·Zbl 0592.68015号 [78] Lutz，C.，Janus:一种时间可逆语言（1986），致R.Landauer的信，加州理工学院 [79] Matos，A.B.，简单可逆语言中的线性程序，Theor。计算。科学。，290, 2063-2074 (2003) ·Zbl 1044.68026号 [80] Matsuda，K。；Wang，M.，Sparcl:部分不可逆计算语言，Proc。ACM计划。Lang.，4，第118条pp.（2020） [81] McCarthy，J.，《图灵机器定义的函数反演》，（Shannon，C.E.；McCarthy-J.，自动化研究（1956），普林斯顿大学出版社），177-181 [82] McCarthy，J.，符号表达式的递归函数及其机器计算，Commun。ACM，3184-195（1960）·Zbl 0101.10413号 [83] Meuli，G。；Soeken，M。；罗特勒，M。；比约纳，北。；De Micheli，G.，量子内存管理的可逆卵石游戏，（欧洲会议与展览设计、自动化与测试（DATE））。EDAA（2019）会议记录，288-291 [84] Mezzina，C.A.，《软件和可逆系统：近期活动调查》，（Ulidowski，I.；Lanese，I.，Schultz，U.P.；Ferreira，C.，《可逆计算：扩展计算范围》，可逆计算：扩大计算范围，LNCS，第12070卷（2020年），Springer），41-59 [85] 莫根森，T.Æ。，RSSA：可逆SSA形式，（Mazzara，M.；Voronkov，a.，《系统信息学的观点》，Proceedings.Perspectives of System Informatics，Proceetings，LNCS，vol.9609（2016），Springer），203-217·Zbl 1461.68053号 [86] 莫根森，T.Æ。，可逆函数语言的可逆垃圾收集，新一代。计算。，36203-232（2018） [87] 莫根森，T.Æ。，可逆函数数组编程，（Yamashita，S.；Yokoyama，T.，可逆计算，Proceedings（2021），Springer），45-63·Zbl 07419482号 [88] 莫根森，T.Æ。，Hermes：一种用于轻量级加密的可逆语言，Sci。计算。程序。，215，第102746条pp.（2022） [89] Morita，K.，《可逆计算理论》，《理论计算机科学专著》（2017），施普林格出版社·Zbl 1383.68002号 [90] Mu，S.-C。；胡，Z。；Takeichi，M.，《可逆计算的内射语言》，（Kozen，D.，《程序构造数学》，《程序构建数学》，LNCS，第3125卷（2004），Springer），289-313·Zbl 1106.68345号 [91] Nakano，K.，《对合图灵机》，（Lanese，I.；Rawski，M.，《可逆计算程序》，可逆计算程序，LNCS，第12227卷（2020），Springer），54-70·Zbl 07368047号 [92] Nakano，K.，可计算对合的时间对称图灵机，科学。计算。程序。，215，第102748条pp.（2022） [93] Nishida，N。；Palacios，A。；Vidal，G.，项重写中的可逆计算，J.Log。代数方法程序。，94, 128-149 (2018) ·Zbl 1381.68107号 [94] 奥卡拉汉，R。；琼斯，C。；弗洛伊德，N。；休伊，K。；诺尔，A。；Partush，N.，可部署性工程记录和回放，（USENIX年度技术会议，会议记录（2017年），USENIX协会），377-389 [95] Paolini，L。；皮科洛，M。；Roversi，L.，关于一类可逆原始递归函数及其图灵完全扩展，新代数。计算。，36, 233-256 (2018) [96] Perumalla，K.S。；Fujimoto，R.M.，《有效可逆性的源代码转换》（1999），佐治亚理工学院，技术报告GIT-CC-99-21 [97] Perumalla，K.S.，《可逆计算导论》（2014），CRC出版社 [98] Pesu，T。；Phillips，I.，可逆计算中的实时方法，（Krivine，J.；Stefani，J.-B.，可逆计算。可逆计算程序。LNCS，第9138卷（2015），Springer），45-59·Zbl 1464.68115号 [99] Pin，J.-E.，《关于有限可逆自动机所接受的语言》，（Ottmann，T.，《自动机，语言和编程》，《自动程序集》，《语言和编程学报》，LNCS，第267卷（1987），Springer），237-249·兹比尔062768069 [100] 雷利，E.D。；Federighi，F.D.，《关于可逆子程序和向后运行的计算机》，Commun。美国医学会，8557-558（1965），578·Zbl 0135.39005号 [101] Schordan先生。；Oppelstrup，T。；杰斐逊，D。；Barnes，P.D.，乐观并行离散事件模拟可逆C++代码的生成，新一代。计算。，36, 257-280 (2018) [102] 斯科丹，M。；Oppelstrup，T。；汤姆森，M.K。；Glück，R.，乐观并行离散事件模拟中的可逆语言和增量状态保存，（Ulidowski，I.；Lanese，I.，Schultz，U.P.；Ferreira，C.，《可逆计算：扩展计算范围》，可逆计算：扩大计算范围，LNCS，第12070卷（2020），Springer），187-207 [103] U.P.舒尔茨。；Axelsen，H.B.，《可逆面向对象语言的元素》，（Devitt，S.；Lanese，I.，《可逆计算》，《可逆计算机学报》，LNCS，第9720卷（2016），Springer），153-159 [104] 汤姆森，M.K。；格吕克，R。；Axelsen，H.B.，量子算术的可逆算术逻辑单元，J.Phys。A、 数学。理论。，第43条，第382002页（2010年）·Zbl 1198.81070号 [105] 汤姆森，M.K。；Axelsen，H.B。；Glück，R.，《可逆处理器体系结构及其可逆逻辑设计》，（De Vos，A.；Wille，R.《可逆计算》，《可逆计算学报》，LNCS，第7165卷（2012），Springer），30-42 [106] Toffoli，T。；Margolus，N.，《可逆细胞自动机：综述》，Physica D，45，229-253（1990）·Zbl 0729.68066号 [107] Toffoli，T.，《可逆计算》，（de Bakker，J.W.；van Leeuwen，J.，《自动化，语言和编程》，《自动化程序集》，LNCS，第85卷（1980），Springer），632-644·Zbl 0443.68038号 [108] Turchin，V.F。；尼伦伯格，R。；Turchin，D.，《超级编译器实验》（Lisp和函数式编程，会议录（1982），ACM出版社），47-55 [109] Vidal，G.，《逻辑编程中的可逆计算》，（Lanese，I.；Rawski，M.，《可逆计算学报》，可逆计算学报，LNCS，第12227卷（2020年），Springer），246-254·Zbl 07368059号 [110] 维埃里，J。；Ammer，M.J。；M.P.弗兰克。；北马格勒斯。；Knight，T.，《完全可逆渐近零能量微处理器》（ISCA功率驱动微体系结构研讨会，会议记录（1998）），138-142 [111] Vitányi，P.，可逆计算中的时间、空间和能量，（计算前沿会议论文集（2005），ACM出版社），435-444 [112] Wille，R。；Drechsler，R.，《走向可逆逻辑的设计流程》（2010），Springer·Zbl 1210.94123号 [113] Wille，R。；施恩博恩，E。；Soeken，M。；Drechsler，R.，SyReC:可逆电路规范和合成的硬件描述语言，《集成》，53，39-53（2016） [114] 横山，T。；Glück，R.，《一种可逆编程语言及其可逆自解释器》，（部分评估和程序操作，会议录（2007年），ACM出版社），144-153 [115] 横山，T。；Axelsen，H.B。；Glück，R.，可逆编程语言的原理，（计算前沿会议论文集（2008），ACM出版社），43-54 [116] 横山，T。；Axelsen，H.B。；Glück，R.，可逆流程图语言和结构化可逆程序定理·Zbl 1155.68388号 [117] 横山，T。；Axelsen，H.B。；Glück，R.，优化内射函数的可逆模拟，J.Mult-有价值的日志。软计算。，18, 5-24 (2012) ·Zbl 1236.68068号 [118] 横山，T。；Axelsen，H.B。；Glück，R.，《走向可逆函数语言》，（De Vos，a.；Wille，R.《可逆计算》，《可逆计算学报》，LNCS，第7165卷（2012），Springer），14-29·Zbl 1407.68075号 [119] 横山，T。；Axelsen，H.B。；Glück，R.，可逆流程图语言基础，Theor。计算。科学。，611, 87-115 (2016) ·Zbl 1332.68028号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。