2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。 （英语） Zbl 1282.68034号 纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。xi，第686页。(2014). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于上一次研讨会，请参见[兹比尔1282.68033].索引文章：拉尔斯·比克达尔，关于并发高阶命令式程序的模块化推理，1[Zbl 1284.68372号]帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特，用于抽象解释的伽罗瓦连接演算，3-4[兹比尔1284.68173]朱塞佩·卡斯塔尼亚；Nguyen，Kim；徐志武；我是宣城；塞尔盖·伦格利特；卢卡·帕多瓦尼，具有集合理论类型的多态函数。一： 语法、语义和评估，5-17[Zbl 1284.68126号]斯科特·基尔帕特里克；德里克·德雷尔（Derek Dreyer）；西蒙·佩顿·琼斯；西蒙·马洛，背包，改装Haskell接口，19-31[Zbl 1284.68134号]克里斯·卡辛基诺（Chris Casinghino）；维勒姆·Sjöberg；斯蒂芬妮·威里奇，用独立类型的语言组合证明和程序，33-45[Zbl 1284.68125号]迪塞尼亚，斯特凡诺；弗朗西斯科·洛戈佐；弗朗西斯科·兰扎托，通过抽象解释追溯编译，47-59[Zbl 1284.68177号]史蒂文·拉姆齐（Steven J.Ramsay）。；不远处，罗宾·P。；Ong，C.-H.卢克，用于高阶模型检查的类型定向抽象细化方法，61-72[Zbl 1284.68414号]迪文·考夫林；Chang，Bor-Yuh Evan先生，裂变类型分析，几乎处处不变量的模块检查，73-85[Zbl 1284.68390号]马丁·博丹（Martin Bodin）；亚瑟·查格罗；丹尼尔·菲拉雷蒂；菲利普·加德纳；塞尔吉奥·马菲斯；Daiva Naudziuniene；阿兰·施密特（Alan Schmitt）；加雷思·史密斯，一个可信的机械化JavaSript规范，87-100[Zbl 1284.68381号]罗伯特·克雷伯斯，C，101-112中非决定论和序列点的运算和公理语义[Zbl 1284.68404号]卡罗琳·简·安德森（Carolyn Jane Anderson）；Nate Foster；阿琼·古哈；Jeannin，Jean-Baptiste；德克斯特·科岑；施莱辛格，科尔；大卫·沃克，Netkat，网络语义基础，113-126[Zbl 1284.68100号]拉胡尔·夏尔马（Rahul Sharma）；阿迪蒂亚·诺里（Aditya V.Nori）。；亚历克斯·艾肯，程序分析中的偏差-方差权衡，127-137[Zbl 1284.68202号]维杰·D’Silva；利奥波德·哈勒；丹尼尔·克罗宁，抽象满意度，139-150[Zbl 1284.68392号]阿扎德·法尔赞；扎卡里·金凯；安德烈亚斯·波德尔斯基，证明计数，151-164[Zbl 1284.68395号]阿泽夫多·德·阿莫林（Azevedo de Amorim），亚瑟；内森·柯林斯；安德烈·德洪；Demange，Delphine；Hriţcu，科特林；大卫·皮哈迪（David Pichardie）；本杰明·皮尔斯（Benjamin C.Pierce）。；Randy Pollack；安德鲁·托尔马赫，一个经过验证的信息流体系结构，165-178[Zbl 1284.68306号]拉马纳库马尔；玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；斯科特·欧文斯，Cakeml，ML的验证实现，179-191[Zbl 1284.68405号]吉尔·巴特；Fornet，塞德里克；本杰明·格雷戈里；支柱，Pierre-Yves；尼基尔·斯瓦米；圣地亚哥Zanella-Béguelin，密码实现的概率关系验证，193-205[Zbl 1284.68380号]斯瓦拉特州乔杜里；马丁·克鲁查德（Martin Clochard）；阿曼多·索拉勒扎马，使用平滑证明搜索桥接布尔和定量合成，207-220[Zbl 1284.68169号]Beyene，Tewodros；乔杜里，斯瓦拉特；科内留·波皮亚（Corneliu Popeea）；安德烈·雷巴尔琴科，求解无限图上游戏的基于约束的方法，221-233[Zbl 1284.91009号]伊娃·达鲁洛娃；维克多·昆卡，reals的声音编译，235-248[Zbl 1284.68393号]杰拉德·休特；雨果·赫贝林，围绕Coq进行了30年的研究和开发，249-249[Zbl 1284.68517号]斯蒂芬·布鲁克斯（Stephen Brookes）；O'Hearn，Peter W。；乌代·雷迪《雷诺兹的本质》，251-255[Zbl 1284.68168号]林赛·库珀；亚伦·图伦；克里希纳斯瓦米，尼拉坎坦R。；Ryan R.牛顿。，写入后冻结，LVar准确定性并行编程，257-270[Zbl 1284.68143号]塞巴斯蒂安·伯克哈特；阿列克谢·戈斯曼；Yang，Hongseok；马雷克·扎维斯基，复制数据类型，规范，验证，优化，271-284[Zbl 1284.68384号]艾哈迈德·博阿贾尼；埃纳，君士坦丁；贾德·哈姆扎，验证乐观复制系统的最终一致性，285-296[Zbl 1284.68383号]乌戈·达尔拉戈；戴维·桑吉奥吉；米歇尔·阿尔贝蒂，关于高阶概率函数程序的共推等价性，297-308[Zbl 1284.68424号]托马斯·埃尔哈德（Thomas Ehrhard）；克里斯汀·塔森（Christine Tasson）；米歇尔·帕加尼，概率相干空间对于概率PCF是完全抽象的，309-320[兹比尔1284.68268]安德鲁·戈登（Andrew D.Gordon）。；格雷佩尔、托尔；尼古拉斯·罗兰；克劳迪奥·鲁索；约翰·博格斯特罗姆（Johannes Borgstrom）；约翰·吉尔弗，Tableular，一种模式驱动的概率编程语言，321-334[Zbl 1284.68103号]伊利亚·谢尔盖；Vytiniotis，Dimitrios；西蒙·佩顿·琼斯，模块化，理论和实践中的高阶基数分析，335-347[Zbl 1284.68151号]Stephen Chang；马提亚斯·费莱森《懒惰剖析》，349-360[Zbl 1284.68128号]安德鲁·凯夫（Andrew Cave）；费雷拉，弗朗西斯科；帕南加登，普拉卡什；碧姬·品特卡，公平反应式编程，361-372[Zbl 1284.68127号]阿卜杜拉，帕罗什；阿罗尼斯·斯塔夫罗斯；Jonsson，Bengt；康斯坦蒂诺斯·萨戈纳斯，最优动态部分降阶，373-384[Zbl 1284.68377号]伊扎基，沙迦；阿尼迪亚·班纳吉；尼尔·伊梅尔曼；奥里·拉哈夫；阿列克桑达尔·纳内夫斯基；穆利·萨吉夫，通过有效的命题公式对堆路径进行模块化推理，385-396[Zbl 1284.68403号]Nathan Chong；阿拉斯泰尔·唐纳森。；杰罗·凯特马，关于并行前缀和推理的一个合理而完整的抽象，397-409[Zbl 1284.68387号]安德鲁·米勒（Andrew Miller）；迈克尔·希克斯；乔纳森·卡茨（Jonathan Katz）；石，伊莱恩，经过身份验证的数据结构，一般而言，411-423[Zbl 1284.68215号]尼基尔·斯瓦米；Fornet，塞德里克；拉斯托吉（Aseem Rastogi）；卡尔蒂基扬·巴尔干；陈娟；支柱，Pierre-Yves；加文·比尔曼，JavaScript中安全嵌入的渐进式键入，425-437[Zbl 1284.68108号]长，扇形；Sidiroglou-Douskos，Stelios；Kim，Deokhwan；马丁·里纳德，整数溢出错误的声音输入滤波器生成，439-452[Zbl 1284.68373号]詹姆斯·布罗瑟斯顿；朱尔斯·维拉德，分离理论的参数完备性，453-464[Zbl 1284.68112号]Hóu，Zhé；克洛斯顿，雷纳德；拉杰夫·戈尔；Tiu，Alwen先生，通过标记序列对命题抽象分离逻辑的证明搜索，465-476[兹比尔1284.68402]Lee，Wonyeol；松武公园，魔棒分离逻辑证明系统，477-490[Zbl 1284.68408号]罗伯特·艾奇，从参数到守恒定律，通过诺特定理，491-502[Zbl 1284.68162号]Robert Atkey；Neil Ghani；帕特里夏·约翰，依赖型理论的相关参数模型，503-515[Zbl 1284.68163号]安德烈·穆拉夫斯基（Andrzej S.Murawski）。；尼科斯·齐夫列科斯，中量级Java界面的游戏语义，517-528[Zbl 1284.68375号]珍妮特·伯特朗；施拉姆，彼得；桑卡拉纳拉亚南，斯里拉姆，一般线性回路的抽象加速度，529-540[Zbl 1284.68188号]德安东尼，洛里斯；玛格斯·维纳斯，符号自动机最小化，541-553[Zbl 1284.68347号]斯瓦拉特州乔杜里；阿扎德·法尔赞；扎卡里·金凯德，决策程序的一致性分析，555-567[Zbl 1284.68386号]张丹凤；安德鲁·迈尔斯（Andrew C.Myers）。，关于静态错误的一般诊断，569-581[Zbl 1284.68141号]陈盛；马丁·埃尔维格，用于调试类型错误的计数器实际键入，583-594[Zbl 1284.68146号]乌迪·博克；托马斯·亨辛格（Thomas A.Henzinger）。；阿琼·拉德哈克利什纳，电池转换系统，595-606[Zbl 1284.68382号]李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克，使用SMT解算器进行符号优化，607-618[Zbl 1284.68410号]尼克·本顿（Nick Benton）；马丁·霍夫曼；Vivek Nigam先生，抽象效果和证明相关的逻辑关系，619-631[Zbl 1284.68371号]Katsumata、Shin ya，参数效应单子和效应系统的语义，633-645[Zbl 1284.68133号]米歇尔·帕加尼；彼得·塞林格（Peter Selinger）；贝诺缬氨酸，将定量语义应用于高阶量子计算，647-658[Zbl 1284.68271号]阿卡托利，贝尼亚米诺；爱德华多·博内利；迪莉娅·凯斯纳（Delia Kesner）；卡洛斯·隆巴迪，非标准标准化定理，659-670[兹比尔1284.68121]理查德·艾森伯格（Richard A.Eisenberg）。；Vytiniotis，Dimitrios；西蒙·佩顿·琼斯；斯蒂芬妮·威里奇，具有重叠方程的封闭型族，671-683[兹比尔1284.68130] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68甲15 编程语言理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1282.68033号 软件：哈斯克尔;Coq公司;NetKAT公司 PDF格式BibTeX公司 XML格式引用 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（2014；Zbl 1282.68034） 全文： 内政部