×

使用代数效果和处理程序进行编程。 (英语) Zbl 1304.68025号

总结:效率是一种基于计算效果的代数方法的编程语言,其中效果被视为代数操作,效果处理程序被视为来自自由代数的同态。效率支持一流的效果和处理程序,通过它们我们可以轻松定义新的计算效果,无缝组合现有的效果,并以新颖的方式处理它们。我们给出了效率并讨论了基于它的原型实现。通过示例,我们演示了如何在效率,以及如何效率支持使用各种形式的分隔连续符的编程技术,例如回溯、宽度优先搜索、选择函数、协作多线程等。

MSC公司:

68甲15 编程语言理论
68号30 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 尼克·本顿(Nick Benton);约翰·休斯;莫吉,尤金尼奥,《单子与效果》,(应用语义学,国际暑期学校。应用语义主义,国际暑期学校,APPSEM 2000,卡米尼亚,葡萄牙,2000年9月9日至15日。应用语义学,国际暑期学校。应用语义学,国际暑期学校,APPSEM 2000,卡米尼亚,葡萄牙,2000年9月9日至15日,高级讲座(2002年),Springer-Verlag:Springer-Verlag London,UK),42-122·Zbl 1065.68064号
[2] 奥利弗·丹维;Filinski,Andrzej,《代表控制:CPS变换研究》,《数学》。结构。计算。科学。,2, 4, 361-391 (1992) ·兹比尔0798.68102
[3] 马丁·埃斯卡多;Oliva,Paulo,选择函数,条递归和反向归纳,数学。结构。计算。科学。,20, 127-168 (2010) ·Zbl 1207.03072号
[4] 马丁·海兰德(Martin Hyland);保罗·布莱恩·利维(Paul Blain Levy);戈登·普洛金(Gordon Plotkin);约翰·鲍尔(John Power),《将代数效应与延续相结合》,提奥(Theor)。计算。科学。,375, 1-3, 20-40 (2007) ·Zbl 1111.68067号
[5] 马丁·海兰德(Martin Hyland);戈登·普洛金(Gordon Plotkin);John Power,《组合效应:和和张量》,Theor。计算。科学。,357、1-3、70-99(2006年)·Zbl 1096.68088号
[6] 泽维尔·勒罗伊;Damien Doligez;阿兰·弗里希(Alain Frisch);雅克·加里格(Jacques Garrigue);雷米,迪迪埃;Vouillon,Jéróme,OCaml系统(3.12版):文档和用户手册(2011年),国家信息与自动化研究所
[7] 保罗·布莱恩·利维(Paul Blain Levy);权力,约翰;Thielecke,Hayo,用调用值编程语言建模环境,Inf.Compute。,185、182-210(2003年9月)
[8] 罗宾·米尔纳,《编程中的类型多态性理论》,J.Compute。系统。科学。,17448-375(1978年)·Zbl 0388.68003号
[9] 罗宾·米尔纳(Robin Milner);托夫特、麦兹;罗伯特·哈珀;David MacQueen,《标准ML的定义》(1997),麻省理工学院出版社
[10] Gabbay J.默多克。;Andrew M.Pitts,《使用变量绑定实现抽象语法的新方法》,Form.Asp。计算。,13,3-5341-363(2001年7月)
[11] 戈登·普洛金(Gordon Plotkin);Power,John,计算概念决定单子,(第五届软件科学和计算结构基础国际会议,第五届国际软件科学和计算机结构基础会议,计算机科学讲义,第2303卷(2002)),342-356·Zbl 1077.68676号
[12] 戈登·普洛金(Gordon Plotkin);Power,John,代数运算和泛型效应,应用。类别。结构。,11, 1, 69-94 (2003) ·Zbl 1023.18006号
[13] 戈登·普洛金(Gordon Plotkin);Power,John,操作语义的共同模型和模型张量,(Bauer,Andrej;Mislove,Michael,《第24届编程语义数学基础会议论文集》(MFPS XXIV)。《第24届程序设计语义学数学基础会议论文集》(MFPS XXIV),《理论计算机科学电子笔记》,第218卷(2008年),第295-311页·Zbl 1286.68303号
[14] 戈登·普洛金(Gordon Plotkin);Pretnar,Matija,《代数效应的处理》,(Castagna,Giuseppe,《编程语言和系统》,《程序语言和系统,计算机科学讲义》,第5502卷(2009年),施普林格:施普林格-柏林-海德堡),80-94·兹比尔12346.8059
[15] 戈登·戴维·普洛金(Gordon David Plotkin);Power,Anthony John,代数效应的充分性,(第四届软件科学和计算结构基础国际会议。第四届软件科学和计算结构基础国际会议,计算机科学讲义,第2030卷(2001)),1-24·Zbl 0986.68055号
[16] 戈登·戴维·普洛金(Gordon David Plotkin);安东尼·约翰·鲍尔(Anthony John Power),《计算效果的逻辑:进展中的工作》(Computing Workshops in Computing),第六届形式方法国际研讨会(2003年)
[17] 戈登·戴维·普洛金(Gordon David Plotkin);Pretnar,Matija,代数效应的逻辑,(第23届计算机科学逻辑研讨会(2008)),118-129
[18] 权力,约翰;Shkaravska,Olha,《从共模型到余代数:状态和数组》,(Adamek,Jiri;Milius,Stefan,《计算机科学中的余代数方法研讨会论文集》(CMCS)。计算机科学中的代数方法研讨会论文集,理论计算机科学电子笔记,第106卷(2004年),297-314·Zbl 1271.18006号
[19] Pretnar,Matija,《代数效应的逻辑和处理》(2010),爱丁堡大学信息学院,博士论文·Zbl 1351.68079号
[20] John Reynolds,《类型的意义——从内在语义到外在语义》(2000),奥胡斯大学计算机科学系,技术报告
[21] Wadler,Philip,Monads for functional programming,(高级函数编程,第一所高级函数编程技术国际春季学校-教材(1995),Springer-Verlag:英国伦敦Springer-Verlag),24-52
[22] Wright,Andrew,简单命令多态性,(LISP和符号计算(1995)),343-356
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。