×
弗里茨·亨利恩;罗宾·卡斯加德;米克尔·克拉·马西森

代数：可逆性的代数方法。 （英语） Zbl 07615946号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 128-145 (2022).
总结：我们提出了Algeo，一种基于无限维模块理论的函数逻辑编程语言。代数是可逆的，因为每个函数都有一个广义逆，一个伴随，它可以被认为是正向函数的逆执行。特别地，当给定函数可逆时，保证伴随与逆函数重合。
Algeo通过允许关系和概率特征，将“普通”正向反向确定性可逆规划推广到了一般情况。这使得函数可以以多种方式定义，我们用“所有定义都是扩展特征；所有扩展特征都是定义”这句格言总结了这一点
我们描述了Algeo的语法、类型系统和公理语义，并通过示例展示了该语言的新特性。
关于整个系列，请参见[Zbl 1498.68014号].

MSC公司：

2009年第68季度 其他非经典计算模型
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
81页68 量子计算

软件：

阿尔戈;考德;特修斯;咖喱;水银
PDF格式BibTeX公司 XML格式引用
\textit{F.Henglein}等人，Lect。注释计算。科学。13354，128--145（2022；Zbl 07615946）
全文： 内政部

参考文献：

[1] Antoy，S。；Hanus，M.，功能逻辑编程，Commun。ACM，53、4、74-85（2010年）·数字对象标识代码：10.1145/1721654.1721675
[2] Arrighi，P。；Dowek，G。；沃伦科夫，A.，《线性代数：高阶、编码与汇合》，重写技术与应用，17-31（2008），海德堡：施普林格，海德伯格·Zbl 1146.68027号 ·doi:10.1007/978-3-540-70590-1_2
[3] Bauer，A。；泰勒，P.，《抽象石头二元性中的德德金现实》，《数学》。结构。计算。科学。，19, 4, 757-838 (2009) ·Zbl 1262.03130号 ·doi:10.1017/S096012909007695
[4] Elsman，M.，Henglein，F.，Kaarsgaard，R.，Mathiesen，M.K.，Schenck，R.：组合邻接和分化。被第九届数学结构函数编程研讨会（MSFP 2022）接受（2022年，待定）
[5] Gogioso，S.，Genovese，F.：无限维分类量子力学。摘自：Duncan，R.，Heunen，C.（编辑）《第13届量子物理与逻辑国际会议论文集》（QPL 2016）。理论计算机科学电子论文集，第236卷。OSA（2016）·Zbl 1486.81004号
[6] 哈纳斯，M。；沃伦科夫，A。；Weidenbach，C.，《函数逻辑编程：从理论到咖喱》，《编程逻辑》，123-168（2013），海德堡：施普林格出版社·Zbl 1383.68017号 ·doi:10.1007/978-3-642-37651-16
[7] Hay-Schmidt，L。；吕克，R。；Cservenka，MH；Haulund，T。；山下，S。；Yokoyama，T.，《面向对象可逆编程的统一语言架构》，可逆计算，96-106（2021），Cham:Springer，Cham·Zbl 07419485号 ·doi:10.1007/978-3-030-79837-6
[8] Henglein，F.，Kaarsgaard，R.，Mathiesen，M.K.：代数编程。被第九届数学结构函数编程研讨会（MSFP 2022）接受（2022年，待定）
[9] Heunen，C.，Kaarsgaard，R.：Bennett和Stinespring终于在一起了。摘自：《第18届量子物理与逻辑国际会议论文集》（QPL 2021）。理论计算机科学电子论文集，第343卷，第102-118页。OPA（2021年）
[10] Heunen，C.，Kaarsgaard，R.：量子信息效应。程序。ACM计划。语言6（POPL）（2022）
[11] 霍伊，J。；乌利多夫斯基，I。；MK汤姆森；Soeken，M.，《可逆命令式并行程序和调试》，可逆计算，108-127（2019），查姆：施普林格，查姆·Zbl 1527.68035号 ·doi:10.1007/978-3-030-21500-27
[12] PAH雅各布森；Kaarsgaard，R。；MK汤姆森；Kari，J。；Ulidowski，I.，\（\sf-CoreFun\）：一种类型化函数可逆核心语言，可逆计算，304-321（2018），Cham:Spriger，Cham·Zbl 1515.68091号 ·doi:10.1007/978-3-319-99498-7_21
[13] 詹姆斯，RP；Sabry，A.，信息效应，ACM SIGPLAN Not。，47, 1, 73-84 (2012) ·Zbl 1321.68267号 ·doi:10.1145/2103621.2103667
[14] James，R.P.，Sabry，A.：Theseus：可逆计算的高级语言（2014）。https://www.cs.indiana.edu/sabry/papers/thesus.pdf。工作进展报告
[15] Kaarsgaard，R.：条件/决策二元性和广泛限制类别的内部逻辑。摘自：第三十五届程序设计语义学数学基础会议论文集（MFPS XXXV）。《理论计算机科学电子笔记》，第347卷，第179-202页。Elsevier（2019年）·Zbl 07515960号
[16] 拉内斯，我。；Nishida，N。；Palacios，A。；维达尔，G。；加拉赫，JP；Sulzmann，M.，CauDEr:一种用于erlang的因果一致可逆调试器，《函数和逻辑编程》，247-263（2018），Cham:Springer，Cham·Zbl 1507.68066号 ·doi:10.1007/978-3-319-90686-7_16
[17] Nishida，N。；Palacios，A。；维达尔，G。；赫尔梅内吉尔多，MV；Lopez-Garcia，P.，《erlang的可逆语义》，基于逻辑的程序合成与转换，259-274（2017），Cham:Springer，Cham·Zbl 1485.68032号 ·数字对象标识代码：10.1007/978-3-319-63139-4_15
[18] Sabry，A。；Valiron，B。；维佐托，JK；拜尔，C。；Dal Lago，U.，《从对称模式匹配到量子控制》，《软件科学和计算结构基础》，348-364（2018），查姆：施普林格，查姆·Zbl 1504.68075号 ·doi:10.1007/978-3-319-89366-2_19
[19] 斯科丹，M。；杰斐逊，D。；巴恩斯，P。；Oppelstrup，T。；昆兰博士。；克里文，J。；Stefani，J-B，并行离散事件模拟的逆向代码生成，可逆计算，95-110（2015），Cham:Springer，Cham·Zbl 1464.68049号 ·doi:10.1007/978-3-319-20860-2_6
[20] 舒尔茨，UP；劳尔森，JS；Ellekilde，L-P；Axelsen，HB；克里文，J。；Stefani，J-B，《面向可逆装配序列的领域特定语言》，可逆计算，111-126（2015），查姆：斯普林格，查姆·Zbl 1464.68406号 ·doi:10.1007/978-3-319-20860-27
[21] 索莫吉，Z。；亨德森，F。；Conway，T.，Mercury的执行算法，一种高效的纯声明逻辑编程语言J.Log。程序。，29, 1, 17-64 (1996) ·Zbl 0877.68015号 ·doi:10.1016/S0743-1066（96）00068-4
[22] Vaux，L.：代数lambda演算。数学。结构。公司。科学。19(5), 1029-1059 (2009). doi:10.1017/S096012909990089·Zbl 1186.03025号
[23] 横山，T。；Axelsen，HB；吕克，R。；De Vos，A。；Wille，R.，《走向可逆函数语言》，《可逆计算》，14-29（2012），海德堡：施普林格出版社·Zbl 1407.68075号 ·数字对象标识代码：10.1007/978-3-642-29517-1_2
[24] Yokoyama，T.，Glück，R.：一种可逆的编程语言及其可逆的自我解释程序。In：部分求值和程序操作。会议记录，第144-153页。ACM（2007）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。