停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2012年第39届POPL：美国宾夕法尼亚州费城

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/2012年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/2012
约翰·菲尔德，迈克尔·希克斯:
2012年1月22日至28日，美国宾夕法尼亚州费城，第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2012年POPL。 ACM公司 2012，国际标准图书编号978-1-4503-1083-3

颁奖和面试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BlackO12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BlackO12
安德鲁·布莱克，彼得·W·奥赫恩:
向FRS、FREng、FBCS的Charles Antony Richard Hoare爵士颁发SIGPLAN杰出成就奖；和面试。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Hoare12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Hoare12
托尼·霍尔:
感谢信：收到2011年ACM SIGPLAN杰出成就奖。 3-6

1.答：验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/StadenCM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/StadenCM12
斯蒂芬·范·斯塔登，克里斯蒂亚诺·卡尔卡尼奥，贝特朗·梅耶:
自由裁量。 7-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/JoshiLL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/JoshiLL12
索拉巴·乔希，Shuvendu K.Lahiri公司，阿卡什·拉尔:
未指定的线束和交错的错误。 19日至30日
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/GardnerMS12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GardnerMS12网址
菲利普·加德纳，塞尔吉奥·马菲斯，加雷思·大卫·史密斯:
面向JavaScript的程序逻辑。 31-44

1.B：语义学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KrishnaswamiBH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KrishnaswamiBH12
内拉坎坦·R·克里希纳斯瓦米，尼克·本顿，扬·霍夫曼:
有界空间中的高阶函数反应规划。 45至58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HurDNV12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HurDNV12
中基尔湖，德里克·德雷尔，乔治·奈斯，维克托·瓦菲亚迪斯:
相互模拟和克里普克逻辑关系的结合。 59-72
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/JamesS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/JamesS12网站
罗珊·詹姆士，Amr Sabry公司:
信息效果。 73-84

2.答：隐私和访问控制

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/YangYS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/YangYS12
让·杨，夸特·叶塞诺夫，阿曼多·索拉勒扎马:
自动执行隐私策略的语言。 85-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BartheKOB12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BartheKOB12
吉尔斯·巴特，鲍里斯·科普夫，费德里科·奥尔梅多，圣地亚哥·扎内拉·贝盖林:
差异隐私的概率关系推理。 97-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/海德格尔BT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/海德格尔BT12
菲利普·海德格尔，安妮特·比纽萨，彼得·蒂曼:
脚本语言的访问权限合同。 111-122

2.B：决策程序

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Madhusudan QS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MadhusudanQS12
Parthasarathy Madhusudan公司，邱晓康，安德烈·斯特凡内斯库:
归纳树数据结构的递归证明。 123-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/VeanesHLMB12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/VeanesHLMB12
玛格斯·维恩斯，彼得·胡伊梅耶尔，本杰明·利夫希茨，大卫·莫尔纳，尼古拉·比约纳:
符号有限状态传感器：算法和应用。 137-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KoksalKS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KoksalKS12
阿里·西南·科萨尔，维克托·昆卡，菲利普·苏特:
约束作为控制。 151-164

3.答：安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AustinF12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AustinF12
托马斯·奥斯汀，科马克·弗拉纳根:
动态信息流的多个方面。 165-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/RayL12配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/RayL12
唐纳德·雷，杰·利加蒂:
定义代码注入攻击。 179-190

3.B：并发复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BasuBO12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BasuBO12
萨米克·巴苏，特夫菲克·布尔坦，梅里姆·乌代尔尼:
决定编舞的可实现性。 191-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BouajjaniE12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BouajjaniE12
艾哈迈德·布阿贾尼，迈克尔·埃米:
递归并行程序的分析。 203-214

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Rexford12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Rexford12
珍妮弗·雷克斯福德:
可编程网络的编程语言。 215-216

4.答：混合泳

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/孟山都FHW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MonsantoFHW12
克里斯托弗·孟山都，内特·福斯特，罗伯·哈里森，大卫·沃克:
网络编程语言的编译器和运行时系统。 217-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ChughRJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ChughRJ12
拉维·丘格，帕特里克·马克西姆·朗登，兰吉特·贾拉:
嵌套优化：duck类型的逻辑。 231-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CousotC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CousotC12
帕特里克·库索特，拉迪亚·库索特:
终止的抽象解释框架。 245-258

4.B：机械化校样

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HoderKV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HoderKV12
克里斯托夫·霍德，劳拉·科瓦奇，安德烈·沃伦科夫:
在校样的灰色地带演奏。 259-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/StampoulisS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/StampoulisS12
安东尼斯·斯坦普利斯，钟绍:
静态和用户扩展的校对。 273-284
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KleinCDEFFMRTF12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KleinCDEFFMRTF12
凯西·克莱恩，克莱门茨，克里斯托斯·迪穆拉斯，卡尔·伊斯特伦德，马蒂亚斯·费莱森，马修·弗拉特，杰伊·麦卡锡，乔恩·拉夫金德，萨姆·托宾-霍奇斯塔特，罗伯特·布鲁斯·芬德勒:
运行您的研究：关于轻量级机械化的有效性。 285-296

5.答：并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/FarzanK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/FarzanK12
阿扎德·法尔赞，扎卡里·金凯德:
通过数据和控制的模块化推理验证参数化并发程序。 297-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BotinanDJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BotincanDJ12网站
马特科·博廷根，迈克·多兹，苏雷什·贾甘纳森:
通过诱因进行资源敏感的同步推断。 309-322
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ReddyR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ReddyR12
Uday S.Reddy公司，约翰·雷诺兹:
分离逻辑干扰的句法控制。 323-336

5.B：类型理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LicataH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LicataH12网站
丹尼尔·里卡塔，罗伯·哈波:
二维类型理论的规范性。 337-348
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KammarP12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KammarP12
奥哈德·卡马尔，戈登·普洛金:
效应相关优化的代数基础。 349-360
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CretinR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CretinR12
朱利安·克雷丁，迪迪埃·雷米:
关于强制抽象的力量。 361-372

6.答：动力学分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/NaikYCS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/NaikYCS12网址
马约尔·奈克，杨红seok，吉拉·卡斯特尔诺沃，穆利·萨吉夫:
测试摘要。 373-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/SmaragdakisESYF12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/SmaragdakisESYF12
亚尼斯·斯马拉格达基斯，雅各布·埃文斯，凯特林·萨多夫斯基，Jaeheon Yi公司，科马克·弗拉纳根:
多项式时间内的声音预测竞赛检测。 387-400

6.乙：名称和活页夹

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BojanczykBKL12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BojanczykBKL12
米科拉伊·博扬奇克，劳伦特·布劳德，巴托克·克林，斯拉沃米尔·拉索塔:
朝向标称计算。 401-412
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CaveP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CaveP12
凯夫，布里吉特·皮恩特卡:
使用活页夹和索引数据类型进行编程。 413-424

受邀演讲2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Moore12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Moore12
J斯特罗瑟·摩尔:
工业强度定理证明器中的元级功能。 425-426

7.答：验证的转换

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ZhanoNMZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ZhaoNMZ12
赵建洲，Santosh Nagarakatte公司，米洛·M·K·马丁，史蒂夫·兹丹切维奇:
规范化验证程序转换的LLVM中间表示。 427-440
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ZhuMKR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ZhuMKR12
泽源艾伦·朱，萨萨·米塞洛维奇，乔纳森·凯尔纳，马丁·里纳德:
用于有效近似计算的随机精度感知程序转换。 441-454
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/LiangFF12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/LiangFF12
梁洪进，新余峰，明福:
用于验证并发程序转换的基于可靠保证的模拟。 455-468

7.B：函数式编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Balabonski12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Balabonski12网址
蒂鲍特·巴拉邦斯基:
完全延迟共享的统一方法。 469-480
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/RastogiCH12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/RastogiCH12
阿西姆·拉斯托吉，阿维克·乔杜里，巴兹尔·霍斯默:
渐进式推理的来龙去脉。 481-494
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HofmannPW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HofmannPW12网址
马丁·霍夫曼，本杰明·皮尔斯，丹尼尔·瓦格纳:
编辑镜头。 495-508

8.答：C/C++语义

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/电池MOSS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BattyMOSS12
马克·巴蒂，凯文·梅马里安，斯科特·欧文斯，苏斯米特·萨卡尔，彼得·苏厄尔:
阐明和编译C/C++并发：从C++11到POWER。第509页至第520页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/RamanandroRL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/RamanandroRL12
塔希娜·拉马南安德罗，加布里埃尔·多斯·里斯，泽维尔·勒罗伊:
C++对象构造和销毁的机械化语义，以及资源管理应用程序。 521-532
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/EllisonR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/EllisonR12
丘基·埃里森，格里戈·罗苏:
C与应用程序的可执行形式语义。 533-544

8.B：类型系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BhatAVG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BhatAVG12网站
苏拉吉·巴特，阿什什·阿加瓦尔，理查德·瓦杜克，亚历山大·格雷:
概率密度函数的一种类型理论。 545-556
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/NadenBAB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/NadenBAB12网站
卡尔·纳登，罗伯特·博奇诺，乔纳森·奥尔德里奇，凯文·比尔霍夫:
借用权限的类型系统。 557-570
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/StrubSFC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/StrubSFC12
Pierre-Yves支柱，尼基·斯瓦米，Cédric Fornet公司，胡安·陈:
自我认证：使用Coq在F*中引导经过认证的类型检查器。 571-584

服务

管理网站设置

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