×
叶卡捷琳娜·科门丹茨卡亚；马丁·施密特；乔纳森·赫拉斯

在联合逻辑编程中开发并行性。 （英语） 兹比尔1337.68054

Power，John（ed.）等人，《代数、余代数和拓扑学研讨会论文集》（WACT 2013），英国巴斯，2013年3月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记303121-148，仅电子版（2014）。
摘要：我们提出了一种在编程语言Go中并行实现联合逻辑编程（CoALP）的方法。CoALP最初是为了反映逻辑编程的余代数语义而引入的，其余代数推导算法兼具余代数和并行性。在这里，我们讨论了联合语义如何影响逻辑编程的并行实现。
有关整个系列，请参见[Zbl 1310.68019号].

引用于三文件

MSC公司：

68N17号 逻辑编程

关键词：

造币术；同蚀作用；警惕性；平行度；戈朗

软件：

去；CoALP公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Komendantskaya}等人，《电子》。注释Theor。计算。科学。30312-148（2014年；Zbl 1337.68054）
全文： 内政部 arXiv公司

参考文献：

[1] 阿马托，G。；利普顿，J。；McGrail，R.，《关于声明性编程语言的代数结构》，Theor。计算。科学。，410, 46, 4626-4671 (2009) ·Zbl 1187.68121号
[2] 安科纳，D。；拉戈里奥，G。；Zucca，E.，通过共导逻辑编程进行类型推理，（TYPES’09。TYPES’09，LNCS，第5497卷（2009）），1-18·Zbl 1246.68079号
[3] Bonchi，F。；Montanari，U.，《反应系统，（半）饱和语义和预升上的余代数》，Theor。计算。科学。，410, 41, 4044-4066 (2009) ·Zbl 1186.68315号
[4] Bonchi，F。；Zanasi，F.，《联合逻辑编程的饱和语义》（CALCO’13）。CALCO’13，LNCS，第8089卷（2013）），80-94·Zbl 1394.68053号
[5] 布鲁尼，R。；蒙塔纳里，美国。；罗西，F.，《逻辑编程的交互语义》，理论与实践。日志。程序。，1, 6, 647-690 (2001) ·Zbl 1066.68512号
[6] 科米尼，M。；列维·G。；Meo，M.C.，逻辑程序的可观测理论，Inf.Compute。，169，1，23-80（2001年）·Zbl 1007.68020号
[7] 德沃克，C。；Kanellakis，P.C。；Mitchell，J.C.，《论统一的顺序性》，J.Logic Prog。，1，35-50（1984年）·Zbl 0588.68045号
[8] 加布里埃利，M。；李维，G。；Meo，M.C.，逻辑程序的可观测行为和等价性，Inf.Compute。，122, 1, 1-29 (1995) ·Zbl 0834.68010号
[9] 古普塔，G。；Costa，V.S.，与或并行PROLOG的优化实现，（PARLE’92（1994）），71-92
[10] 古普塔，G。；彭泰利，E。；Ali，K。；卡尔森，M。；Hermenegildo，M.，《PROLOG程序的并行执行：一项调查》，ACM Trans。计算。日志。，23, 1-126 (2012)
[11] Hoare，C.A.R.，通信顺序过程，Commun。ACM，21，8，666-677（1978年8月）·Zbl 0383.68028号
[12] Kanellakis，P.C.，《逻辑编程和并行复杂性》，（演绎数据库和逻辑程序基础（1988），Morgan Kaufmann），547-585
[13] Kinoshita，Y。；Power，J.，逻辑程序的fibrational语义，（Proc.Int.逻辑编程扩展研讨会，Proc.Int逻辑编程扩展会议，LNAI，第1050卷（1996）），177-191
[14] Komendantskaya，E。；McCusker，G。；Power，J.，《逻辑编程中并行派生策略的Coalgebraic语义》（AMAST’10）。AMAST’10，LNCS，第6486卷（2010）），111-127·Zbl 1308.68029号
[15] Komendantskaya，E。；Power，J.，逻辑编程中的Coalgebraic派生，（CSL’11，LIPIcs（2011），Schloss Dagstuhl），352-366·Zbl 1247.68044号
[16] Komendantskaya，E。；Power，J.，《逻辑编程中派生的Coalgebraic语义》，（CALCO’11。CALCO’11，LNCS，第6859卷（2011），斯宾格），268-282·Zbl 1344.68043号
[17] Komendantskaya，E。；Power，J。；Schmidt，M.，协代数逻辑编程，《逻辑与计算杂志》（2014）
[18] Komendantskaya，E。；施密特，M。；Heras，J.，CoALP网页：软件和支持文档（2013）
[19] Lloyd，J.W.，《逻辑编程基础》（1987），施普林格-弗拉格出版社·兹比尔0547.68005
[20] 彭泰利，E。；Gupta，G.，《逻辑编程中的或并行与与并行的二重性》（Euro-Par’95）。1995年欧洲议会，LNCS，第966卷（1995年），43-54
[21] Summerfield，M.，《围棋编程：为21世纪创建应用程序》（2012），Addison Wesley
[22] 乌尔曼，J.D。；Van Gelder，A.，逻辑查询程序的并行复杂性，Algorithmica，3，5-42（1988）·Zbl 0646.68062号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。