邵，钟（编辑） 编程语言和系统。2014年4月5日至13日，在法国格勒诺布尔举行的第23届欧洲编程研讨会（ESOP 2014），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。 （英语） Zbl 1284.68032号 计算机科学课堂讲稿8410.柏林：施普林格出版社（ISBN 978-3-642-54832-1/pbk）。xiii，576页。(2014). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。关于上一次研讨会，请参见[Zbl 1268.68016号].索引文章：贾斯汀·斯莱帕克（Justin Slepak）；Shivers，Olin；Manolios，Panagiotis公司，一种具有静态秩多态性的面向数组的语言，27-46[Zbl 1405.68091号]彼得·蒂曼（Peter Thiemann）；芬内尔，发光，注释型系统的渐进式键入，47-66[Zbl 1405.68093号]鲍里斯·杜德尔；马尔滕斯，莫里茨；雅各布·雷霍夫，分段合成，67-86[Zbl 1405.68057号]科克斯，杰斯珀；Frank Piessens；多米尼克·德夫里塞、重叠和订单依赖模式。人人平等，87-106[Zbl 1405.68075号]Lennart Beringer；戈登·斯图尔特；Robert Dockins；安德鲁·W·阿佩尔。，已验证共享内存C的编译，107-127[Zbl 1346.68045号]詹姆斯·佩尔孔蒂（James T.Perconti）。；阿马尔·艾哈迈德，使用多语言语义验证打开的编译器，128-148[Zbl 1405.68067号]斯文森，卡斯珀；Lars Birkedal公司，实用主义并发抽象谓词，149-168[兹比尔1405.68092]菲利普·加德纳；Gian Ntzik；亚当·赖特，POSIX文件系统的本地推理，169-188[Zbl 1405.68080号]本扎肯，维罗尼克；埃维琳·孔特让；斯特凡妮娅·邓布拉娃，关系数据模型的Coq形式化，189-208[Zbl 1405.68103号]拉斐尔·克鲁比莱；乌戈·达尔拉戈，关于概率应用互模拟和call-by-value（lambda）-calculi，209-228[Zbl 1405.68076号]阿瓜多（Joaquín Aguado）；Michael Mendler；冯·汉克斯利登（von Hanxleden），莱因哈德（Reinhard）；Insa Fuhrmann公司，在顺序编程中建立同步确定性并发，229-248[Zbl 1405.68068号]保罗·唐恩（Paul Downen）；泽纳·M·阿里奥拉。，结构的双重性，249-269[Zbl 1405.68079号]巴赫·鲍尔森（Bach Poulsen），卡斯珀（Casper）；彼得·莫塞斯（Peter D.Mosses）。，从小步语义中导出漂亮的大步语义，270-289[兹比尔1405.68173]阿列克桑达尔·纳内夫斯基；莱·怀尔德（Ley-Wild）、鲁伊（Ruy）；伊利亚·谢尔盖；德尔比安科、杰曼·安德烈斯，为细粒度并发资源通信状态转换系统，290-310[Zbl 1405.68219号]Oren Zomer；盖·戈兰·格塔（Guy Golan-Gueta）；Ramalingam，G。；穆利·萨吉夫，检查封装扩展操作的线性化能力，311-330[Zbl 1405.68066号]Dan R.Ghica。；亚历克斯·I·史密斯。，资源半环中的有界线性类型，331-350[Zbl 1405.68059号]布鲁内尔，阿洛伊斯；马可·加博阿迪（Marco Gaboardi）；达米亚诺·马扎；史蒂夫·兹丹塞维奇，核心定量系数微积分，351-370[Zbl 1405.68074号]阿基拉·吉咪祖（Yoshimizu，Akira）；一郎·哈索；克劳迪娅·法根（Claudia Faggian）；乌戈·达尔拉戈，作为高阶量子电路的验证网络中的测量，371-391[Zbl 1405.68095号]久原、Takuya；Tachio Terauchi；Unno，Hiroshi；直纪小林，高阶功能程序的自动终止验证，392-411[Zbl 1347.68231号]城市，卡特琳娜；米尼，安托万，用于推断序数值排序函数的抽象域，412-431[Zbl 1405.68094号]布莱恩，马丁；克里斯蒂娜·大卫；Daniel Kroening；彼得·施拉梅尔，堆操作程序的模型和证明生成，432-452[Zbl 1405.68072号]Tony Garnock-Jones；Tobin Hochstadt，山姆；马提亚斯·费莱森，网络作为一种语言结构，473-492[Zbl 1405.68029号]劳拉·博奇（Laura Bocchi）；埃尔南梅尔格拉蒂；埃米利奥·托斯托，解决舞蹈设计中的非决定论，493-512[Zbl 1405.68071号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68牛顿 软件理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1268.68016号 软件：Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{Z.Shao}（编辑），《编程语言和系统》。2014年4月5日至13日，在法国格勒诺布尔举行的第23届欧洲编程研讨会（ESOP 2014），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（2014；Zbl 1284.68032） 全文： 内政部