停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2013年第40届POPL：意大利罗马

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

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/2013年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/2013
罗伯托·贾科巴齐,拉迪亚·库索特:
第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会，2013年1月23日至25日，意大利罗马，POPL’13。 ACM公司 2013，国际标准图书编号978-1-4503-1832-7

主题演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Gonthier13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Gonthier13
乔治·戈蒂尔:
工程数学：奇数阶定理证明。 1-2

语义学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LoschP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LoschP13
斯特芬·洛施,安德鲁·皮特斯:
标称Scott域的完全抽象。 3-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Tate13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Tate13
罗斯·泰特:
生产者效应系统的顺序语义。 15-26
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AbelPTS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AbelPTS13
安德烈亚斯·阿贝尔,布里吉特·皮恩特卡,大卫·西博多,安东·塞泽尔:
共同模式：通过观察对无限结构进行编程。 27-38

验证和静态分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BlellochH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BlellochH13网址
盖伊·布莱洛赫,罗伯·哈波:
缓存和I/O效率高的功能算法。 39-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Ben-AmramG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Ben-AmramG13
阿米尔·本·阿姆拉姆,萨米尔·吉纳伊姆:
关于整数线性约束循环的线性排序问题。 51-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/MayrC13年5月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MayrC13
理查·马,洛伦佐·克莱门特:
高级自动机最小化。 63-74

类型

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/UnnoTK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/UnnoTK13
Unno宏,塔奇·特劳奇,小林直树:
自动化相对完整的高阶功能程序验证。 75-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AtkeyJK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AtkeyJK13
罗伯特·艾奇,帕特里夏·约翰,安德鲁·肯尼迪:
代数索引类型的抽象和不变性。 87-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/奔驰CNS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BenzakenCNS13
维罗尼克·本扎肯,朱塞佩·卡斯塔尼亚,金恩恩（Kim Nguyen）,杰罗姆·西蒙:
NoSQL语言的静态和动态语义。 101-114年

抽象解释

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CernyHR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CernyHR13
帕沃尔·塞尔尼,托马斯·汉津格,阿琼·拉德哈克里什纳:
定量抽象细化。 115-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/FarzanKP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/FarzanKP13
阿扎德·法尔赞,扎卡里·金凯德,安德烈亚斯·波德尔斯基:
归纳数据流图。 129-142年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DSilvaHK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DSilvaHK13
维杰·维克托·德席尔瓦,利奥波德·哈勒,丹尼尔·克罗宁:
抽象冲突驱动学习。 143-154

语义学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Goyet13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Goyet13网站
亚历克西斯·戈耶特:
Lambda Lambda-Bar演算：无约束策略的对偶演算。 155-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LagoP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LagoP13
乌戈达尔湖,芭芭拉·佩蒂特:
类型的几何图形。 167-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/StatonL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/StatonL13
萨姆·斯塔顿,保罗·布莱恩·利维:
不纯编程语言的通用属性。 179-192

证据和验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HurNDV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HurNDV13
中基尔湖,乔治·奈斯,德里克·德雷尔,维克托·瓦菲亚迪斯:
参数化在共推证明中的作用。 193-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DelawareOS13配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DelawareOS13
本杰明·特拉华,布鲁诺·C·d·S·奥利维拉,汤姆·施里杰弗斯:
点菜的元理论。 207-218
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ParkSP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ParkSP13
琼云公园,Jeongbong Seo公司,Sungwoo公园:
布尔BI的定理证明器。 219-232

主题演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Krishnamurthi13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Krishnamurthi13
克里希纳穆西神社:
从原理到编程语言（以及反过来）。 233-234

并发性和设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/电池DG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BattyDG13
马克·巴蒂,迈克·多兹,亚历克谢·戈茨曼:
C/C++并发的库抽象。 235-248
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/RamalingamV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/RamalingamV13
加内桑·拉马林根,卡皮尔·瓦斯瓦尼:
通过幂等性实现容错。 249-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/碳-13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CarboneM13
马尔科·卡博尼,法布里奇奥·蒙泰西:
死锁自由设计：多方异步全局编程。 263-274

分离逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Caires13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CairesS13
路易斯·凯雷斯,乔·科斯塔·塞科:
行为分离的类型学科。 275-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Dinsdale-YoungBGPY13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Dinsdale-YoungBGPY13
托马斯·丁斯代尔-杨,拉尔斯·比克达尔,菲利普·加德纳,马修·帕金森,杨红seok:
视图：并发程序的组合推理。 287-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/JensenBK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/JensenBK13
乔纳斯·布拉班德·詹森,尼克·本顿,安德鲁·肯尼迪:
低级代码的高级分离逻辑。 301-314

主旨演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Myers13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Myers13
安德鲁·迈尔斯:
语言如何拯救分布式计算。第315页至第316页

并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HenzingerKPSS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HenzingerKPSS13
托马斯·汉津格,克里斯托夫·基尔希,汉内斯·佩耶,阿里·塞兹金,安娜·索科洛娃:
并发数据结构的定量松弛。 317-328
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DemangeLZJPV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DemangeLZJPV13
Delphine Demange公司,文森特·拉波特,雷昭（Lei Zhao）,苏雷什·贾甘纳森,大卫·皮哈迪,扬·维泰克:
方案B：Java的缓冲内存模型。 329-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/TuronTABD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/TuronTABD13
亚伦·约瑟夫·图伦,雅各布·塔姆斯堡,阿迈勒,拉尔斯·比克达尔,德里克·德雷尔:
细粒度并发的逻辑关系。 343-356

安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/GaboardiHHNP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GaboardiHHNP13
马可·加博阿迪,安德烈亚斯·海伯伦,徐宇春（Justin Hsu）,阿琼·纳拉扬,本杰明·皮尔斯:
线性相关类型用于不同的隐私。 357-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/FournetSCDSL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/FournetSCDSL13
Cédric Fornet公司,尼基尔·斯瓦米,胡安·陈,皮埃尔·埃瓦里斯特·达甘,Pierre-Yves支柱,本杰明·利夫希茨:
完全抽象编译为JavaScript。 371-384年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LivshitsC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LivshitsC13
本杰明·利夫希茨,斯蒂芬·庄（Stephen Chong）:
实现安全消毒器和解密器的全自动放置。 385-398

主题演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/古德曼13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Goodman13
诺亚·D·古德曼:
概率规划的原理和实践。 399-402

模型和语义

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/戈登ABCGNRR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GordonABCGNRR13
安德鲁·戈登,米哈伊尔·艾扎图林,约翰内斯·博格斯特罗姆,纪尧姆干红葡萄酒,格雷佩尔,阿迪蒂亚·诺里,斯里拉姆·拉贾马尼,克劳迪奥·拉索:
贝叶斯推理的模型学习模式。 403-416
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/SuenagaSH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/SuenagaSH13
Kohei Suenaga公司,Hiroyoshi Sekine先生,哈朔一郎:
超流处理系统：连续时间信号的非标准建模。 417-430
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/VytiniotisJCR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/VytiniotisJCR13
迪米特里厄斯病毒性肠炎,西蒙·佩顿·琼斯,科恩·克莱森,丹·罗森:
HALO：通过指称语义将haskell转换为逻辑。 431-442

综合与验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BotinganB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BotincanB13网址
马特科·博廷根,Domagoj Babic公司:
Sigma*：输入输出规范的符号学习。 443-456
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BonchiP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BonchiP13
菲利波·邦奇,达米安·普斯:
使用互模拟检查NFA等价性，直至一致。 457-468
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KoksalPSBFP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KoksalPSBFP13
阿里·西南·科萨尔,叶文璞,索拉巴·斯利瓦斯塔瓦,拉斯蒂斯拉夫·博迪克,贾斯敏·费舍尔,尼尔·皮特曼:
通过突变实验合成生物模型。 469-482

汇编

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/UpadrastaC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/UpadrastaC13网站
罗摩克里希纳-阿帕德斯塔（Ramakrishna Upadrasta）,阿尔伯特·柯恩:
使用（单位-）双变量-不等式多面体的次多面体调度。 483-496
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/RompfSABJLJOO13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/RompfSABJLJOO13
蒂亚克·隆普夫,阿文德·苏吉思,纳达·阿明,凯文·布朗,沃金·约万诺维奇,HyoukJoong Lee（李孝忠）,马诺哈尔·琼纳拉赫达,昆勒·奥卢科顿,马丁·奥德斯基:
优化高级程序中的数据结构：基于分段的可扩展编译器的新方向。 497-510
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Adams13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Adams13
迈克尔·亚当斯:
缩进敏感语言的原则解析：重温landin的越位规则。 511-522

分析与逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HoborV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HoborV13
阿奎那·霍伯,朱尔斯·维拉德:
数据结构中共享的后果。 523-536
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/TotlaW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/TotlaW13
Nishant Totla公司,托马斯·维斯:
完成基于实例化的插值。 537-548
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BarrVLS13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BarrVLS13
伯爵·T·巴尔,Thanh Vo公司,武乐,苏振东:
自动检测浮点异常。 549-560
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Ley-WildN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Ley-WildN13
Ruy Ley-Wild公司,阿列克桑达尔·纳内夫斯基:
粗粒度并发的主观辅助状态。 561-574

服务

管理网站设置

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