×
普雷特纳，马蒂亚

代数效果和处理程序介绍（特邀指导论文）。 （英语） Zbl 1351.68079号

Ghica，Dan（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，19-35，仅电子版（2015）。
摘要：本文是关于代数效果和处理程序的教程。在这本书中，我们解释了什么是代数效应，给出了大量的例子来解释处理程序是如何工作的，定义了操作语义和类型与效果系统，展示了如何推理效应，并给出了进一步阅读的指针。
有关整个系列，请参见[Zbl 1342.68016号].

引用于10文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68问题55 计算理论中的语义学

关键词：

代数效应;处理程序;效应系统;语义学;逻辑;辅导的

软件：

效率;弗兰克
PDF格式BibTeX公司 XML格式引用
\textit{M.Pretnar}，电子。理论注释。计算。科学。319、19-35（2015；Zbl 1351.68079）
全文： 内政部

参考文献：

[1] Ocaml，网址
[2] Ocaml多核分支，URL
[3] Bauer，A。；Pretnar，M.，有效。统一资源定位地址
[4] Bauer，A。；Pretnar，M.，《代数效果和处理程序的效果系统》，《计算机科学中的逻辑方法》，10（2014），网址·Zbl 1448.68203号
[5] Bauer，A。；Pretnar，M.，《代数效果和处理程序编程》，J.Log。阿尔盖布。方法。程序。，84，108-123（2015），网址·Zbl 1304.68025号
[6] Brady，E.，《具有代数效应和依赖类型的编程和推理》（Morrisett，G.；Uustalu，T.，ACM SIGPLAN国际函数编程会议，ICFP’13）。ACM SIGPLAN功能编程国际会议，ICFP'13，美国马萨诸塞州波士顿-2013年9月25日至27日（2013）），133-144，网址·兹比尔1323.68097
[7] 菲奥雷，M.P。；Staton，S.，《替换、跳跃和代数效应》，（Henzinger，T.A.；Miller，D.，第二十届EACSL计算机科学逻辑年会（CSL）联席会议和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS），CSL-LICS’14。第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS）联合会议，CSL-LICS’14，奥地利维也纳，2014年7月14日至18日（2014年），41，URL·Zbl 1401.68039号
[8] Harper，R.，《编程语言实用基础》（2012），剑桥大学出版社
[9] 海兰德，M。；Plotkin，G.D。；Power，J.，《组合效应：总和和张量》，Theor。计算。科学。，357、70-99（2006），网址·Zbl 1096.68088号
[10] O.卡玛。；Lindley，S。；Oury，N.，Handlers in action，（Morrisett，G.；Uustalu，T.，ACM SIGPLAN International Conference on Functional Programming，ICFP'13）。ACM SIGPLAN功能编程国际会议，ICFP'13，美国马萨诸塞州波士顿，2013年9月25日至27日（2013年），145-158，URL·兹比尔1323.68126
[11] O.卡玛。；Plotkin，G.D.，效应相关优化的代数基础，（Field，J。；Hicks，M.，第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2012年POPL，美国宾夕法尼亚州费城，2012年1月22日至28日（2012年），349-360，URL·Zbl 1321.68200号
[12] Levy，P.B.，《Call-By-Push-Value:A Functional/Imperative Synthesis》，《计算中的语义结构》，第2卷（2004），施普林格出版社
[13] 利维，P.B。；Power，J。；Thielecke，H.，用按调用值编程语言建模环境，Inf.Compute。，185182-210（2003），网址·Zbl 1069.68073号
[14] McBride，Frank C.，网址
[15] Pierce，B.C.，类型和编程语言（2002），麻省理工学院出版社·Zbl 0995.68018号
[16] Plotkin，G.D。；Power，J.，代数效应的充分性，（Honsell，F。；Miculan，M.，《软件科学和计算结构基础》。《软件科学和计算结构基础》，第四届国际会议，FOSSACS 2001，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2001，Genova，意大利，2001年4月2-6日。软件科学和计算结构基础。软件科学和计算结构基础，第四届国际会议，FOSSACS 2001，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2001，Genova，意大利，2001年4月2-6日，计算机科学讲稿，第2030卷（2001），1-24，会议录。URL地址·Zbl 0986.68055号
[17] Plotkin，G.D。；Power，J.，《计算的概念决定单子》，（Nielsen，M.；Engberg，U.，《软件科学和计算结构基础》，软件科学与计算结构基础，2002年第五届国际会议，FOSSACS。2002年4月8日至12日在法国格勒诺布尔举行，作为欧洲软件理论与实践联合会议的一部分。软件科学和计算结构基础。《软件科学与计算结构基础》，第五届国际会议，FOSSACS 2002。作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2002，格勒诺布尔，法国，2002年4月8日至12日，计算机科学讲稿，第2303卷（2002），342-356，会议记录。URL地址·Zbl 1077.68676号
[18] Plotkin，G.D。；Power，J.，代数运算和类属效应，应用范畴结构，11，69-94（2003），URL·Zbl 1023.18006号
[19] Plotkin，G.D。；Power，J.，《操作语义的共同模型和模型张量》，Electr。理论注释。计算。科学。，218295-311（2008），网址·Zbl 1286.68303号
[20] Plotkin，G.D。；Pretnar，M.，《代数效应的逻辑》，（第二十三届IEEE计算机科学逻辑研讨会论文集。第二十三届计算机科学逻辑IEEE研讨会论文集，2008年6月24日至27日，美国宾夕法尼亚州匹兹堡（2008）），118-129，URL
[21] Plotkin，G.D。；Pretnar，M.，《代数效应的处理者》（Castagna，G.，《编程语言和系统》，编程语言与系统，第18届欧洲编程研讨会，ESOP 2009，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2009，英国约克，2009年3月22-29日）。程序设计语言与系统。编程语言与系统，第18届欧洲编程研讨会，ESOP 2009，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2009，英国约克，2009年3月22日至29日，计算机科学讲义，第5502卷（2009），80-94，会议录。URL地址·Zbl 1234.68059号
[22] Plotkin，G.D。；Pretnar，M.，处理代数效应，计算机科学中的逻辑方法，9（2013），网址·Zbl 1314.68191号
[23] Pretnar，M.，《推断代数效应》，《计算机科学中的逻辑方法》，10（2014），网址·Zbl 1341.68024号
[24] Staton，S.，《代数效应、线性和量子编程语言》（Rajamani，S.K。；Walker，D.，第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。第42届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，2015年POPL，印度孟买，2015年1月15日至17日（2015）），395-406，URL·Zbl 1345.68137号
[25] Wu，N。；施里杰弗斯，T。；Hinze，R.，《范围内的效果处理程序》，（Swierstra，W.，《2014年ACM SIGPLAN Haskell研讨会论文集》，2014年9月4日至5日，瑞典哥德堡，2014年（2014），第1-12页，URL
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。