彼得·蒂曼（编辑） 编程语言和系统。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。 （英语） Zbl 1333.68019号 计算机科学讲义9632.柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。xiii，806页。(2016). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。关于上一次研讨会，请参见[Zbl 1333.68020号].索引文章：拉杰夫·阿鲁尔；菲斯曼，达纳；穆昆德·拉戈塔曼，数据流定量属性的常规编程，15-40[Zbl 1335.68041号]贝洛·卢伦索（Cláudio）；若昂·弗拉德，玛丽亚；豪尔赫·索萨·平托，形式化单任务程序验证：一种适应-完成方法，41-67[Zbl 1335.68044号]安布罗斯邦奈尔-谢根；戴维斯，罗文；萨姆·托宾·霍施塔特，Clojure的实用可选类型，68-94[Zbl 1335.68025号]Emile Bres；罗布·范格拉贝克（Rob van Glabbeek）；彼得·霍夫纳，无线网络的定时进程代数及其在路由中的应用（扩展抽象），95-122[Zbl 1335.68005号]雅克·卡雷特；阿穆尔·萨布里，用半环和弱rig群胚计算，123-148[Zbl 1335.68048号]伊曼纽尔·D’Osualdo；Luke Ong，C.-H。，关于（pi）演算中的分层通信拓扑，149-175[Zbl 1335.68166号]佩德罗·达罗查·平托；托马斯·丁斯代尔·扬（Thomas Dinsdale-Young）；菲利普·加德纳；朱利安·萨瑟兰，非阻塞并发的模块化终止验证，176-201[Zbl 1335.68074号]托马斯·埃尔哈德，从线性逻辑的角度来看，呼叫推送值，202-228[Zbl 1335.03064号]理查德·艾森伯格（Richard A.Eisenberg）。；斯蒂芬妮·威里奇；哈米达桑·艾哈迈德。，可见型应用，229-254[兹比尔1335.68031]尼古拉斯·费尔特曼（Nicolas Feltman）；Angiuli，Carlo；Acar，Umut A。；卡冯·法塔哈利安，自动拆分两阶段lambda演算，255-281[Zbl 1335.68032号]Nate Foster；德克斯特·科赞；康斯坦蒂诺斯·马穆拉斯；雷特布拉特，马克；亚历山德拉·席尔瓦，概率NetKAT，282-309[Zbl 1335.68027号]Daniel Huang；格雷格·莫里塞特，可计算分布在概率编程语言语义中的应用，337-363[Zbl 1335.68028号]本杰明·卢西恩（Benjamin Lucien）卡明斯基（Kaminski）；Joost-Pieter Katoen；Christoph Matheja；费德里科·奥利梅多，概率程序预期运行时间的弱前提推理，364-389[Zbl 1335.68058号]川端康成（Kawabata）、Hideyuki；岩崎、秀霞，《改进浮点数：数值计算自适应精度改进的惰性方法》，390-418[Zbl 1336.65078号]库扎帕斯、迪米特里奥斯；佩雷斯（Jorge A.Pérez）。；吉田、Nobuko，关于高阶会话进程的相对表现力，446-475[Zbl 1335.68174号]鲁道夫·勒皮格雷，语义值限制的经典可实现性模型，476-502[Zbl 1335.68059号]安德烈亚斯·洛赫比勒，高阶逻辑中的概率函数和密码预言，503-531[Zbl 1335.68033号]格雷戈里·马莱查；杰斯珀·本特森，通过反思策略实现可扩展且高效的自动化，532-559[Zbl 1335.68234号]佩德罗特（Pédrot）、皮埃尔·马利（Pierre-Marie）；亚历克西斯·索林，经典型，616-643[兹比尔1335.68034]斯文森，卡斯珀；菲利普·西奇科夫斯基（Filip Sieczkowski）；拉尔斯·比克达尔，超有限阶跃诱导：解耦具体步骤和逻辑步骤，727-751[Zbl 1335.68071号]王玉婷；戈帕兰·纳达图尔，函数程序验证转换的高阶抽象语法方法，752-779[Zbl 1335.68036号]奥曼·波霍拉，约翰内斯；约阿希姆·帕罗，单调平行构图的表现力，780-803[Zbl 1335.68039号] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1333.68020号 软件：NetKAT公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Thiemann}（编辑），编程语言和系统。2016年4月2-8日，作为欧洲软件理论与实践联合会议（ETAPS 2016）的一部分，于荷兰埃因霍温举行了第25届欧洲编程研讨会（ESOP 2016）。诉讼程序。柏林：施普林格出版社（2016；Zbl 1333.68019） 全文： 内政部