吉尔·巴特（编辑） 编程语言和系统。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。 （英语） Zbl 1213.68027号 计算机科学课堂讲稿6602.柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。xiv，501页。(2011). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于上一次研讨会，请参见Zbl 1182.68003号.索引文章：安德鲁·W·阿佩尔。，验证软件工具链（受邀演讲），1-17[Zbl 1326.68047号]乔·菲利普·贝洛；迈克尔·格林伯格（Michael Greenberg）；Atsushi Igarashi；本杰明·C·皮尔斯。，多形合同，18-37[Zbl 1326.68077号]安妮特·比纽萨；彼得·蒂曼，证明软件事务内存的隔离属性，38-56[Zbl 1326.68078号]维维亚娜·博诺（Viviana Bono）；梅萨，恰拉；卢卡·帕多瓦尼，键入无副本消息传递，57-76[Zbl 1326.68079号]约翰·博格斯特罗姆；安德鲁·戈登（Andrew D.Gordon）。；迈克尔·格林伯格（Michael Greenberg）；詹姆斯·马格特森；尤尔根·范盖尔，测量贝叶斯机器学习的变压器语义，77-96[Zbl 1326.68217号]Jörg Brauer；安迪·金，无量词消除的传递函数合成，97-115[兹比尔1326.68080]塞巴斯蒂安·伯克哈特；Daan Leijen，并发修订的语义，116-135[兹比尔1326.68081]凯雷斯，路易斯；佩雷斯，豪尔赫·A。；乔安·科斯塔（Joáo Costa）塞科（Seco）；维埃拉、雨果·托雷斯；劳西奥·费朗，数据中心系统中基于类型的访问控制，136-155[Zbl 1326.68082号]陈丽倩；安托万·米内；王，季；帕特里克·库索特，线性绝对值关系分析，156-175[Zbl 1326.68086号]Michael A.Colón。；桑卡拉纳拉亚南，斯里拉姆，推广模板多面体域，176-195[Zbl 1326.68088号]De，Arnab；迪帕克D'Souza；鲁普什·纳斯雷，无数据跟踪程序的数据流分析，196-215[Zbl 1326.68074号]Fornet，塞德里克；杰雷米·普莱诺，编译信息流安全性以最小化可信计算基础，216-235[Zbl 1326.68075号]托马斯·马丁（Thomas Martin），高利察（Gawlitza）；戴维·莫尼奥，通过SMT解决方案改进策略，236-255[Zbl 1326.68093号]阿琼·古哈；萨夫托乌、克劳迪乌；克里希纳穆提，施莱姆，使用流量分析键入本地控制和状态，256-275[Zbl 1326.68048号]阿奎那·霍伯；克里斯蒂安·盖尔希娜，并发分离逻辑中的障碍，276-296[Zbl 1326.68096号]亨特，塞巴斯蒂安；大卫·桑兹，通过主体类型从指数到多项式时间安全类型，297-316[Zbl 1275.68062号]托马斯·延森（Thomas Jensen）；基什内尔，佛罗伦萨；大卫·皮查迪，保护克隆。安全对象复制策略的静态实施，317-337[Zbl 1326.68098号]马蒂亚斯·约翰；塞德里克·侯赛因；约阿希姆·尼伦；克里斯蒂安·维萨里，带约束的生化反应规则，338-357[Zbl 1326.68050号]库塔瓦斯（Koutavas）、瓦西里欧斯（Vasileios）；马修·轩尼诗，高阶密码语言的测试理论（扩展抽象），358-377[Zbl 1326.68200号]吉姆·特雷弗；伊扎克·曼德尔鲍姆，一种新的依赖解析方法，378-397[Zbl 1326.68049号]安托万·米内，嵌入式关键并行C程序运行时错误的静态分析，398-418[Zbl 1239.68021号]安德烈·穆拉夫斯基（Andrzej S.Murawski）。；Tzevelekos，尼科斯，算法标称游戏语义，419-438[Zbl 1326.68071号]马修·帕金森（Matthew J.Parkinson）。；亚历山大·萨默斯。，分离逻辑与隐式动态框架之间的关系，439-458[Zbl 1326.68104号]索廷，帕斯卡；贝特朗·珍妮特，在存在指向堆栈的指针的情况下进行精确的过程间分析，459-479[Zbl 1326.68107号]城市，基督教；塞萨里·卡利西克，标称Isabelle中的通用绑定和alpha等效，480-500[Zbl 1326.68265号] 引用于1审查 MSC公司： 2006年8月 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1182.68003号 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}（编辑），编程语言和系统。2011年3月26日至4月3日在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（2011；Zbl 1213.68027） 全文： 内政部