停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2014年第41届POPL：美国加利福尼亚州圣地亚哥

>主页 >会议和研讨会 >POPL公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/2014年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/2014
苏雷什·贾甘纳森，彼得·苏厄尔:
2014年1月20日至21日，第41届ACM SIGPLAN-SIGACT编程语言原理年度研讨会，POPL’14，美国加利福尼亚州圣地亚哥。 ACM公司 2014，国际标准图书编号978-1-4503-2544-8

米尔纳奖

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Birkedal公司14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Birkedal14
拉尔斯·比克达尔:
并发高阶命令式程序的模块化推理。 1-2

SIGPLAN成就奖

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CousotC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CousotC14
帕特里克·库索特，拉迪亚·库索特:
用于抽象解释的伽罗瓦连接演算。 3-4

类型系统设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Castagna0XILP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Castagna0XILP14
朱塞佩·卡斯塔尼亚，金恩恩（Kim Nguyen），徐志武，Hyeonseung Im公司，塞尔盖·伦格利特，卢卡·帕多瓦尼:
具有集合理论类型的多态函数：第1部分：语法、语义和计算。 5-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KilpatrickDJM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KilpatrickDJM14
斯科特·基尔帕特里克，德里克·德雷尔，西蒙·佩顿·琼斯，西蒙·马洛:
背包：用接口改装Haskell。 19-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CasinghinoSW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CasinghinoSW14
克里斯·卡辛基诺，维勒姆·舍伯格（Vilhelm Sjöberg），斯蒂芬妮·威里奇:
用独立类型的语言组合证明和程序。 33-46

程序分析1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DissgnaLR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DissgnaLR14
斯特凡诺·迪塞尼亚，弗朗西斯科·洛戈佐，弗朗西斯科·兰扎托:
通过抽象解释追踪编译。 47至60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/RamsayNO14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/RamsayNO14
史蒂芬·J·拉姆齐，罗宾·P·奈瑟韦，C.-H.卢克·翁:
一种用于高阶模型检查的类型导向抽象精化方法。 61-72
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CoughlinC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CoughlinC14网址
德文·考夫林，Bor-Yuh Evan Chang先生:
裂变类型分析：几乎处处不变量的模块化检查。 73-86

系统的语义

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/博丁CFGMNSS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BodinCFGMNSS14网址
摄影，亚瑟·查古埃罗（Arthur Charguéraud），丹尼尔·菲拉雷蒂，菲利普·加德纳，塞尔吉奥·马菲斯，Daiva Naudziuniene公司，阿兰·施密特，加雷思·史密斯:
可信的机械化JavaScript规范。 87-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/克雷伯14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Krebbers14
罗伯特·克雷伯斯:
C语言中非确定性和序列点的操作语义和公理语义。 101-112
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/安德森FGJKSW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AndersonFGJKSW14
卡罗琳·简·安德森，内特·福斯特，阿琼·古哈，Jean-Baptiste珍妮，德克斯特·科赞，科尔·施莱辛格，大卫·沃克:
NetkAT：网络的语义基础。 113-126

程序分析2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/0001NA14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/0001NA14
拉胡尔·夏尔马，阿迪蒂亚·诺里，亚历克斯·艾肯:
程序分析中的偏差-方差权衡。 127-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DSilvaHK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DSilvaHK14
维杰·维克托·德席尔瓦，利奥波德·哈勒，丹尼尔·克罗宁:
抽象满意度。 139-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/FarzanKP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/FarzanKP14
阿扎德·法尔赞，扎卡里·金凯德，安德烈亚斯·波德尔斯基:
重要的证据。 151-164

已验证的系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AmorimCDDHPPPT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AmorimCDDHPPPT14
阿瑟·阿泽夫多·德·阿莫林，内森·柯林斯，安德烈·德洪，Delphine Demange公司，加泰罗尼亚语Hritcu，大卫·皮哈迪，本杰明·皮尔斯，兰迪·波拉克，安德鲁·托尔马赫:
经过验证的信息流体系结构。 165-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KumarMNO14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KumarMNO14
拉马纳·库马尔，马格努斯·奥·米林，迈克尔·诺里什，斯科特·欧文斯:
CakeML：ML的验证实现。 179-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BartheFGSSB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BartheFGSSB14网址
吉尔斯·巴特，Cédric Fornet公司，本杰明·格雷戈里，皮埃尔·伊夫·斯特鲁布，尼基尔·斯瓦米，圣地亚哥·扎内拉·贝盖林:
加密实现的概率关系验证。 193-206

合成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/乔杜里CS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ChaudhuriC14
斯瓦拉特·乔杜里，马丁·克洛查德，阿曼多·索拉勒扎马:
使用平滑证明搜索桥接布尔和定量合成。 207-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BeyeneCPR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BeyeneCPR14
特沃德罗斯·A·贝耶恩，斯瓦拉特·乔杜里，科内利厄·波皮亚，安德烈·里巴尔琴科:
一种基于约束的方法来求解无限图上的对策。 221-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DarulovaK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DarulovaK14网址
伊娃·达鲁洛娃，维克托·昆卡:
真实的声音汇编。 235-248

SIGPLAN软件系统奖

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HuetH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HuetH14网址
杰拉德·P·休特，雨果·赫伯林:
围绕Coq进行了30年的研究和开发。 249-250

纪念约翰·雷诺兹

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BrookesOR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BrookesOR14
斯蒂芬·布鲁克斯，彼得·W·奥赫恩，Uday S.Reddy公司:
雷诺兹的精髓。 251-256

并发编程模型

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KuperTKN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KuperTKN14
林赛·库珀，亚伦·图伦，内拉坎坦·R·克里希纳斯瓦米，瑞安·R·牛顿:
写后冻结：使用LVar的准确定性并行编程。 257-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BurckhardtGYZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BurckhardtGYZ14
塞巴斯蒂安·伯克哈特，亚历克谢·戈茨曼，杨红seok，马雷克·扎维斯基:
复制的数据类型：规范、验证、优化。 271-284年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BouajjaniEH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BouajjaniEH14
艾哈迈德·布阿贾尼，康斯坦丁·埃纳，贾德·哈姆扎:
验证乐观复制系统的最终一致性。 285-296

概率

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LagoSA14文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LagoSA14
乌戈·达尔·拉戈，戴维德·桑吉奥吉，米歇尔·阿尔贝蒂:
关于高阶概率函数程序的共导等价性。 297-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/EhrhardTP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/EhrhardTP14
托马斯·埃尔哈德，克里斯汀·塔森，米歇尔·帕加尼:
概率相干空间对概率PCF是完全抽象的。 309至320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/戈登GRRBG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GordonGRRBG14网址
安德鲁·戈登，格雷佩尔，尼古拉斯·罗兰，克劳迪奥·拉索，约翰内斯·博格斯特罗姆，约翰·吉弗:
表格：一种模式驱动的概率编程语言。 321-334

功能编程1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/谢尔盖VJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/SergeyVJ14
伊利亚·谢尔盖，迪米特里厄斯病毒性肠炎，西蒙·佩顿·琼斯:
理论和实践中的模块化、高阶基数分析。 335-348
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ChangF14配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ChangF14
斯蒂芬·张，马提亚斯·费莱森:
懒惰的剖析。 349-360
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CaveFPP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CaveFPP14
凯夫，费雷拉，普拉卡什·帕南加登，布里吉特·皮恩特卡:
公平的反应式编程。 361-372

推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AbdullaAJS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AbdullaAJS14
帕罗什·阿齐兹·阿卜杜拉，斯塔夫罗斯·阿罗尼斯，本特·琼森，康斯坦蒂诺斯·萨戈纳斯:
最优动态部分降阶。 373-384
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ItzhakyBILNS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ItzhakyBILNS14
沙查尔·伊扎基，安妮迪亚·班纳吉，尼尔·伊曼，奥里·拉哈夫，阿列克桑达尔·纳内夫斯基，穆利·萨吉夫:
通过有效的命题公式对堆路径进行模块化推理。 385-396
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ChongDK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ChongDK14
内森·冲（Nathan Chong），阿拉斯泰尔·唐纳森，杰伦·凯特马:
对并行前缀和进行推理的合理而完整的抽象。 397-410

安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/MillerHKS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MillerHKS14
安德鲁·米勒，迈克尔·希克斯，乔纳森·卡茨，伊莱恩·施:
一般来说，经过身份验证的数据结构。 411-424
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/SwamyFRBCSB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/SwamyFRBCSB14
尼基尔·斯瓦米，Cédric Fornet公司，阿西姆·拉斯托吉，卡提基扬·巴尔干，胡安·陈，皮埃尔·伊夫·斯特鲁布，加文·比尔曼:
逐步键入安全嵌入JavaScript。 425-438
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LongSKR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LongSKR14
Fan Long（风扇长），Stelios Sidiroglou-Douskos公司，Deokhwan Kim先生，马丁·里纳德:
整数溢出错误的声音输入滤波器生成。 439-452

分离逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BrotherstonV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BrotherstonV14
詹姆斯·布罗瑟斯顿，朱尔斯·维拉德:
分离理论的参数完备性。 453-464
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HouCGT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HouCGT14
哲侯，拉纳德·克鲁斯顿，拉杰夫·戈尔，Alwen Tiu先生:
通过标记序列对命题抽象分离逻辑进行证明搜索。 465-476
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LeeP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LeeP14
Wonyeol Lee公司，Sungwoo公园:
用魔术棒实现分离逻辑的证明系统。 477-490

语义模型1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Atkey14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Atkey14
罗伯特·艾奇:
从参数到守恒定律，通过Noether定理。 491-502
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AtkeyGJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AtkeyGJ14
罗伯特·艾奇，尼尔·加尼，帕特里夏·约翰:
依赖型理论的相关参数模型。 503-516
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/MurawskiT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MurawskiT14
安德烈·穆拉夫斯基，尼科斯·齐夫列科斯:
界面中量级Java的游戏语义。 517-528

程序分析3

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/JeannetSS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/JeannetSS14
伯特兰·珍妮特，彼得·施拉姆，斯里拉姆·桑卡拉纳拉亚南:
一般线性回路的抽象加速度。 529-540
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DAntoniV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DAntoniV14
洛里斯·德安东尼，玛格斯·维恩斯:
符号自动机最小化。 541-554
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ChaudhuriFK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ChaudhuriFK14
斯瓦拉特·乔杜里，阿扎德·法尔赞，扎卡里·金凯德:
决策程序的一致性分析。 555-568

静态错误

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/张M14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/张M14
张丹凤，安德鲁·迈尔斯:
针对静态错误的一般诊断。 569-582
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/0008E14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/0008E14网址
盛晨（Sheng Chen），马丁·埃尔维格:
用于调试类型错误的计数器实际类型。 583-594

模型检查和SMT

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BokerHR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BokerHR14
乌迪·博克，托马斯·汉津格，阿琼·拉德哈克里什纳:
蓄电池转换系统。 595-606
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LiAKGC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LiAKGC14
李毅，奥斯·阿尔巴古蒂，扎卡里·金凯德，阿里·古芬克尔，玛莎·契契克:
使用SMT解算器进行符号优化。 607-618

语义模型2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Benton0N14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Benton0N14
尼克·本顿，马丁·霍夫曼，维维克·尼甘姆:
抽象效果和证明相关的逻辑关系。 619-632
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Katsumata14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Katsumata14
Shin-ya胜本:
参数效应单子和效应系统的语义。 633-646
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/PaganiSV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/PaganiSV14
米歇尔·帕加尼，彼得·塞林格，贝诺？t缬氨酸:
将定量语义应用于高阶量子计算。 647-658

功能编程2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AccattoliBKL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AccattoliBKL14网站
贝尼亚米·阿卡托利，爱德华多·博内利，迪莉娅·凯斯纳，卡洛斯·隆巴迪:
非标准标准化定理。 659-670
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/EisenbergVJW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/EisenbergVJW14
理查德·艾森伯格，Dimitrios Vytiniotis炎，西蒙·佩顿·琼斯，斯蒂芬妮·威里奇:
具有重叠表达式的闭合类型族。 671-684

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。