弗拉维奥·克鲁兹;里卡多·罗查;塞斯·科本·戈尔茨坦;弗兰克·芬宁 一种线性逻辑编程语言,用于在图结构上进行并行编程。 (英语) Zbl 1307.68014号 理论与实践。日志。程序。 14,No.4-5,493-507(2014). 摘要:我们设计了一种新的逻辑编程语言LM(Linear Meld),用于以声明方式编程基于图形的算法。我们的语言是基于线性逻辑的,线性逻辑是一个表达逻辑的系统,逻辑事实可以在这里被消费。因为LM集成了经典逻辑和线性逻辑,所以LM往往比其他逻辑编程语言更具表现力。LM程序自然是并发的,因为事实是由图形数据结构的节点划分的。计算在节点级别执行,而通信发生在连接的节点之间。在本文中,我们介绍了我们语言的语法和操作语义,并通过一些示例说明了它的用法。 MSC公司: 68N17号 逻辑编程 68甲15 编程语言理论 03B70号 计算机科学中的逻辑 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 68第05页 数据结构 关键词:语言设计;语义学;线性逻辑;并行编程;图 软件:图形实验室;普雷格尔 PDF格式BibTeX公司 XML格式引用 \textit{F.Cruz}等人,《理论与实践》。日志。程序。14、编号4--5、493--507(2014;Zbl 1307.68014) 全文: 内政部 arXiv公司 参考文献: [1] 第九届ACM SIGPLAN声明性编程原则与实践国际会议记录第25页–(2007) [2] DOI:10.1017/S1471068410000438·Zbl 1222.68067号 ·网址:10.1017/S1471068410000438 [3] 内政部:10.1093/log/2.3.297·Zbl 0764.03020号 ·doi:10.1093/logcom/2.3.297 [4] ACM事务处理。计算。逻辑14第1页–(2013年) [5] 第七届ACM SIGPLAN声明性编程原则与实践国际会议记录第35页–(2005) [6] 内政部:10.2307/2689192·Zbl 0331.05017号 ·doi:10.2307/2689192 [7] 信息与计算110 pp 32–(1994) [8] 内政部:10.1016/0304-3975(87)90045-4·兹伯利06250.037 ·doi:10.1016/0304-3975(87)90045-4 [9] 内政部:10.1007/BF01386390·Zbl 0092.16002号 ·doi:10.1007/BF01386390 [10] ACM计算逻辑学报13第1页–(2012年) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。