斯蒂芬·梅尔;奥斯伯特·巴斯塔尼;史蒂夫·兹丹塞维奇 表意字符：一种表达和操作结构化数据的语言。 （英语） Zbl 07809762号 Grabmayer，Clemens（编辑），第十二届术语和图形计算国际研讨会论文集，以色列海法Technion，2022年8月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37765-84（2023年）。 摘要：我们介绍了表意字符，一种用于表达和操作结构化数据的语言。它的类型描述了各种结构，例如自然数、列表、多集、二叉树、带变量绑定的语法树、有向多图和关系数据库。类型的完全规范化术语与结构的成员完全对应，类似于Church编码。此外，保证对这些结构的可定义操作尊重结构的等效性。本文给出了Ideograph的非多态子集的语法和语义，并演示了它如何表示和操作几个有趣的结构。关于整个系列，请参见[Zbl 1522.68031号]. MSC公司： 2012年第68季度 语法和重写系统 软件：流行标志;LMN总计;沟槽 PDF格式BibTeX公司 XML格式引用 \textit｛S.Mell｝等人，电子。程序。西奥。计算。科学。（EPTCS）377，65--84（2023；Zbl 07809762） 全文： arXiv公司 链接 参考文献： [1] 萨姆森·阿布拉姆斯基（1993）：线性逻辑的计算解释。理论计算机科学111（1），第3-57页，doi:10.1016/0304-3975（93）90181-R·Zbl 0791.03003号 ·doi:10.1016/0304-3975（93）90181-R [2] Matteo Acclavio、Ross Horne和Lutz Straßburger（2020）：超越公式的逻辑：图上的证明系统。摘自：第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS’20，美国纽约州纽约市计算机械协会，第38-52页，doi:10.1145/3373718.3394763·Zbl 1498.03156号 ·数字对象标识代码：10.1145/3373718.3394763 [3] Jean-Marc Andreoli（1992）：《线性逻辑中聚焦证明的逻辑编程》。《逻辑与计算杂志》2（3），第297-347页，doi:10.1093/logcom/2.3.297·Zbl 0764.03020号 ·doi:10.1093/logcom/2.3.297 [4] Brian E.Aydimer、Aaron Bohannon、Matthew Fairbairn、J.Nathan Foster、Benjamin C.Pierce、Peter Sewell、Dimitrios Vytiniotis、Geoffrey Washburn、Stephanie Weirich和Steve Zdancewic（2005）：大众的机械化元理论：大众的挑战。在：《第18届高阶逻辑定理证明国际会议论文集》，TPHOLs'05，Springer Verlag，柏林，海德堡，第50-65页，doi:10.1007/11541868_4·Zbl 1152.68516号 ·doi:10.1007/11541868_4 [5] Corrado Böhm&Alessandro Berarducci（1985）：项代数上类型∧-程序的自动合成。《理论计算机科学》39，第135-154页，doi:10.1016/0304-3975（85）90135-5。第三届软件技术和理论计算机科学基础会议·Zbl 0597.68017号 ·doi:10.1016/0304-3975（85）90135-5 [6] Adam Chlipala（2008）：机械化语义的参数化高阶抽象语法。摘自：第13届ACM SIGPLAN功能编程国际会议记录，ICFP'08，美国纽约州纽约市计算机械协会，第143-156页，doi:10.1145/1411204.141226·Zbl 1323.68184号 ·数字对象标识代码：10.1145/1411204.1411226 [7] N.G de Bruijn（1972）：带无名假人的Lambda演算符号，一种用于自动计算公式的工具，应用于Church-Rosser定理。《数学学报》75（5），第381-392页，doi:10.1016/1385-7258（72）90034-0·Zbl 0253.68007号 ·doi:10.1016/1385-7258（72）90034-0 [8] R.Dicosmo（1995）：二阶同构类型：关于二阶λ-演算的一个充要对和终端对象的证明理论研究。信息与计算119（2），第176-201页，doi:10.1006/inco.1995.1085·Zbl 0832.68096号 ·doi:10.1006/inco.1995.1085 [9] Maribel Fernández，Hélène Kirchner&Bruno Pinaud（2018）：标记端口图-模型和计算的形式结构。理论计算机科学电子笔记338，第3-21页，doi:10.1016/j.entcs.2018.10.002。第十二届逻辑和语义框架及应用研讨会（LSFA 2017）·Zbl 1433.68095号 ·doi:10.1016/j.entcs.2018.10.002 [10] Dan R.Ghica、Koko Muroya和Todd Waugh Ambridge（2019）：一种稳健的基于图形的观测等效方法，doi:10.48550/ARXIV.1907.01257·doi:10.48550/ARXIV.1907.01257 [11] Jean-Yves Girard（1987）：线性逻辑。理论计算机科学50（1），第1-101页，doi:10.1016/0304-3975（87）90045-4·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4 [12] 克莱门斯·格拉姆迈耶（2018）：用结构约束图建模术语（两幅插图）。Maribel Fernández和Ian Mackie主编：第十届术语和图形计算国际研讨会论文集，FSCD术语表2018年，英国牛津，2018年7月7日，EPTCS 288，第1-13页，doi:10.4204/EPTCS.288.1·doi:10.4204/EPTCS.288.1 [13] 蒂莫西·格里芬（1989）：控制的公式化概念。摘自：第17届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’90，美国纽约州纽约市计算机械协会，第47-58页，doi:10.1145/967096714·doi:10.1145/96709.96714 [14] 朱利奥·格雷里（Giulio Guerrieri）和朱利奥·曼佐内托（Giulio-Manzonetto）（2018）：《Bang Calculus and The Two Girard’s Trans-lations》。托马斯·埃哈德（Thomas Ehrhard）、玛丽贝尔·费尔南德斯（Maribel Fernández）、瓦莱丽亚·德佩瓦（Valeria de Paiva）和洛伦佐·托托拉·德法尔科（Lorenzo Tortora de Falco）编辑：《线性逻辑与应用中的线性与趋势联合国际研讨会论文集》，线性-TLLA@FLoC2018年7月7日至8日，英国牛津，EPTCS 292，第15-30页，doi:10.4204/EPTCS.292.2·Zbl 1486.03105号 ·doi:10.4204/EPTCS.292.2 [15] 伊夫·拉丰（1989）：互动网络。收录于：《第17届ACM SIGPLAN-SIGACT编程语言原理Sym-posium on Principles of Programming Languages》，POPL'90，计算机协会，美国纽约州纽约市，第95-108页，doi:10.1145/967096718·数字对象标识代码：10.1145/96709.96718 [16] Yves Lafont（1995）：从证明网到交互网，第225-248页。伦敦数学学会讲座笔记系列，剑桥大学出版社，doi:10.1017/CBO9780511629150.012·doi:10.1017/CBO9780511629150.012 [17] 伊恩·麦基（2000）：线性逻辑的交互网络。理论计算机科学247（1），第83-140页，doi:10.1016/S0304-3975（00）00198-5·Zbl 0954.03067号 ·doi:10.1016/S0304-3975（00）00198-5 [18] Ian Mackie（2011）：封闭式约简的交互网络实现。在Sven-Bodo Scholz和Olaf Chitil的《编辑：函数语言的实现和应用》中，Springer Berlin Heidelberg出版社，柏林，海德堡，第43-59页，doi:10.1007/978-3642-24452-0_3·doi:10.1007/978-3-642-24452-03 [19] 伊恩·克雷格·麦基（1994）：实现的几何学。帝国理工医学院博士论文，doi:10.25560/46072·数字对象标识代码：10.25560/46072 [20] Bruno C.d.S.Oliveira和William R.Cook（2012）：结构化图的函数编程。摘自：《第17届ACM SIGPLAN函数编程国际会议论文集》，ICFP’12，美国纽约州纽约市计算机械协会，第77-88页，doi:10.1145/2364527.2364541·Zbl 1291.68127号 ·doi:10.1145/2364527.2364541 [21] 文森特·范·奥斯特罗姆（Vincent van Oostrom）、基斯·扬·范·德鲁伊（Kees Jan van de Looij）和马里恩·兹维瑟洛德（Marijn Zwitserlood）（2004）：兰姆斯科普（Lambdascope）——另一种最佳的lambda-calculus实现。 [22] 本杰明·皮尔斯（2002）：类型和编程语言，第1版。麻省理工学院出版社·Zbl 0995.68018号 [23] Detlef Plump（2011）：GP 2的设计。在圣地亚哥·埃斯科瓦尔（Santiago Escobar），编辑：《关于改写和编程中减少策略的第十届国际研讨会论文集》，WRS 2011，Novi Sad，塞尔维亚，2011年5月29日，EPTCS 82，第1-16页，doi:10.4204/EPTCS.82.1·doi:10.4204/EPTCS.82.1 [24] Arend Rensink（2004）：GROOVE模拟器：状态空间生成工具。约翰·普法尔茨（John L.Pfaltz）、曼弗雷德·纳格尔（Manfred Nagl）和鲍里斯·伯伦（Boris Böhlen）主编：《图形变换与工业相关性的应用》（Applications of Graph Transformations with Industrial Relevance），施普林格-柏林-海德堡（Springer Berlin Heidelberg），柏林，海德堡，第479-485页，doi:10.1007/978-3·doi:10.1007/978-3-540-25959-6_40 [25] Christian Retoré（2003）：漂亮的校对网：完美的匹配和齿状图。理论计算机科学294（3），第473-488页，doi:10.1016/S0304-3975（01）00175-X。线性逻辑·兹比尔1028.68154 ·doi:10.1016/S0304-3975（01）00175-X [26] Ralf Schweimeier和Alan Jeffrey（1999）：闭合转换的分类和图形处理。理论计算机科学电子笔记20，第481-511页，doi:10.1016/S1571-0661（04）80090-2。MFPS XV，编程语义的数学基础，第十五个一致性。 ·doi:10.1016/S1571-0661（04）80090-2 [27] Kazunori Ueda（2009）：LMNtal是一种分层逻辑编程语言。理论计算机科学410（46），第4784-4800页，doi:10.1016/j.tcs.2009.07.043。抽象解释与逻辑程序设计：向乔治·列维教授致敬·兹比尔1187.68124 ·doi:10.1016/j.tcs.2009.07.043 [28] Geoffrey Washburn和Stephanie Weirich（2003）：Boxes Go Bananas:用参数多态性编码高阶Ab-stract语法。摘自：《第八届ACM SIGPLAN功能编程国际会议论文集》，ICFP'03，美国纽约州纽约市计算机械协会，第249-262页，doi:10.1145/944705.944728·Zbl 1315.68061号 ·数字对象标识代码：10.1145/944705.944728 [29] Alimujiang Yasen和Kazunori Ueda（2021）：重温HyperLMNtal中的图形类型：超图重写的建模语言。IEEE Access 9，第133449-133460页，doi:10.1109/Access.2021.3112903·doi:10.1109/ACCESS.2021.3112903 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。