停止战争！

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

对于科学家：

默认搜索操作

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

问别人

德里克·德雷尔

德里克·德雷尔

>主页 >珀森斯

人员信息

附属： 马克斯·普朗克软件系统研究所

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元39年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/pacmpl/ZilbersteinDS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/ZilbersteinDS23
诺姆·齐尔伯斯坦,德里克·德雷尔,亚历山德拉·席尔瓦:
结果逻辑：正确和错误推理的统一基础。程序。ACM计划。语言。 7(OOPSLA1型):522-550(2023)
[j38]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/GueneauHSSBD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/GueneauHSSBD23
阿玛·盖诺,约翰内斯·霍斯特,西蒙·斯皮斯,迈克尔·桑姆勒,拉尔斯·比克达尔,德里克·德雷尔:
Melocoton:OCaml和C之间验证互操作性的程序逻辑。程序。ACM计划。语言。 7(OOPSLA2公司):716-744年(2023)
[公元37年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/ChoSLGD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/ChoSLGD23
Minki Cho（明基·赵）,宋永州,Dongjae Lee（李东杰）,伦纳德·Gäher,德里克·德雷尔:
免费结巴。程序。ACM计划。语言。 7(OOPSLA2公司):1677-1704(2023)
[公元36年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SammlerSSDKGD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SammlerSSDKGD23
迈克尔·桑姆勒,西蒙·斯皮斯,宋永州,伊曼纽尔·德奥斯瓦尔多,罗伯特·克雷伯斯,Deepak Garg公司,德里克·德雷尔:
DimSum：一种多语言语义和验证的分散方法。程序。ACM计划。语言。 7(POPL公司):775-805(2023)
[j35]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SongCLHSD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SongCLHSD23
宋永州,Minki Cho（明基·赵）,Dongjae Lee（李东杰）,中基尔湖,迈克尔·桑姆勒,德里克·德雷尔:
条件上下文优化。程序。ACM计划。语言。 7(POPL公司):1121-1151(2023)
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2303-03111
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-03111
诺姆·齐尔伯斯坦,德里克·德雷尔,亚历山德拉·席尔瓦:
结果逻辑：正确和错误推理的统一基础。 CoRR公司 abs/2303.03111(2023)
2022
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/DreyerP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/DreyerP22
德里克·德雷尔,本杰明·皮尔斯:
关于成为罗伯特·哈珀的博士生。 J.功能。程序。 32:e3（电子3）(2022)
[j33]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SpiesGTJKBD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SpiesGTJKBD22
西蒙·斯皮斯,伦纳德·Gäher,约瑟夫·塔萨洛蒂,拉尔夫·荣格,罗伯特·克雷伯斯,拉尔斯·比克达尔,德里克·德雷尔:
后期学分：对后期情态进行足智多谋的推理。程序。ACM计划。语言。 6(ICFP公司):283-311(2022)
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/LeRVBDO22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/LeRVBDO22
广乐路,杜鹃花,朱尔斯·维拉德,乔什·伯丁,德里克·德雷尔,彼得·W·奥赫恩:
在逻辑不正确的大程序中发现真正的错误。程序。ACM计划。语言。 6(OOPSLA1型):1-27(2022)
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/DOsualdoFD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/DOsualdoFD22
伊曼纽尔·德奥斯瓦尔多,阿扎德·法尔赞,德里克·德雷尔:
从组成上证明超安全性。程序。ACM计划。语言。 6(OOPSLA2公司):289-314(2022)
【j30】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/ZhuSLDG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/ZhuSLDG22
朱凤敏,迈克尔·桑姆勒,鲁道夫·勒皮格雷,德里克·德雷尔,Deepak Garg公司:
BFF：位场操作程序的基本自动验证。程序。ACM计划。语言。 6(OOPSLA2公司):1613-1638(2022)
[公元29年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/GaherSSJDKKD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/GaherSSJDKKD22
伦纳德·Gäher,迈克尔·桑姆勒,西蒙·斯皮斯,拉尔夫·荣格,黄海当,罗伯特·克雷伯斯,Jeehoon Kang（Jeehon Kang）,德里克·德雷尔:
Simuliris：用于验证并发程序优化的分离逻辑框架。程序。ACM计划。语言。 6(POPL公司):1-31(2022)
[公元28年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/LepigreSMKDS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/LepigreSMKDS22
鲁道夫·勒皮格雷,迈克尔·桑姆勒,凯文·梅马里安,罗伯特·克雷伯斯,德里克·德雷尔,彼得·苏厄尔:
VIP：使用整数指针强制转换验证真实世界中的C习惯用法。程序。ACM计划。语言。 6(POPL公司):1-32(2022)
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/RaadBDO22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/RaadBDO22
杜鹃花,乔什·伯丁,德里克·德雷尔,彼得·W·奥赫恩:
并发错误分离逻辑。程序。ACM计划。语言。 6(POPL公司):1-29(2022)
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/DangJCNMKD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/DangJCNMKD22
Hoang-Hai Dang公司,Jaehwang Jung（Jaehwang Jung）,崔杰敏（Jaemin Choi）,杜尚·阮,威廉·曼斯基,Jeehoon Kang（Jeehon Kang）,德里克·德雷尔:
指南针：松散内存分离逻辑中的强大组合库规范。 PLDI公司 2022:792-808
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SammlerHL0PD0S22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SammlerHL0PD0S22
迈克尔·桑姆勒,安格斯·哈蒙德,鲁道夫·勒皮格雷,布赖恩坎贝尔,Jean Pichon-Pharabod公司,德里克·德雷尔,Deepak Garg公司,彼得·苏厄尔:
Islaris：根据权威ISA语义验证机器代码。 PLDI公司 2022:825-840
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/松下DJD22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MatsushitaDJD22
松下裕介,师丹尼斯,雅克·亨利·朱丹,德里克·德雷尔:
RustHornBelt：使用不安全代码对Rust程序进行功能验证的语义基础。 PLDI公司 2022:841-856
[i2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2209-07448
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2209-07448
伊曼纽尔·德奥斯瓦尔多,阿扎德·法尔赞,德里克·德雷尔:
合成证明超安全。 CoRR公司 abs/2209.07448(2022)
2021
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/JungJKD21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/JungJKD21
拉尔夫·荣格,雅克·亨利·朱丹,罗伯特·克雷伯斯,德里克·德雷尔:
Rust中的安全系统编程。 Commun公司。ACM公司 64(4):144-152(2021)
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/YanovskiDJD21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/YanovskiDJD21
约书亚·亚诺夫斯基,Hoang-Hai Dang公司,拉尔夫·荣格,德里克·德雷尔:
GhostCell：将权限与Rust中的数据分离。程序。ACM计划。语言。 5(ICFP公司):1-30(2021)
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SpiesKD21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SpiesKD21
西蒙·斯皮斯,尼尔·克里希纳斯瓦米,德里克·德雷尔:
终端的超有限阶跃诱导。程序。ACM计划。语言。 5(POPL公司):1-29(2021)
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SpeesGGTKDB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SpeesGGTKDB21
西蒙·斯皮斯,伦纳德·Gäher,丹尼尔·格拉泽,约瑟夫·塔萨洛蒂,罗伯特·克雷伯斯,德里克·德雷尔,拉尔斯·比克达尔:
超限虹膜：解决了阶跃诱导分离逻辑的存在困境。 PLDI公司 2021:80-95
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SammlerLKMD021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SammlerLKMD021
迈克尔·萨姆勒,鲁道夫·勒皮格雷,罗伯特·克雷伯斯,凯文·梅马里安,德里克·德雷尔,Deepak Garg公司:
精炼C：使用精炼的所有权类型自动化C代码的基础验证。 PLDI公司 2021:158-174
2020
[公元23年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SammlerGDL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SammlerGDL20
迈克尔·桑姆勒,Deepak Garg公司,德里克·德雷尔,塔德乌兹·利塔克:
低级沙箱的高级好处。程序。ACM计划。语言。 4(POPL公司):32:1-32:32(2020)
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/DangJKD20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/DangJKD20
Hoang-Hai Dang公司,雅克·亨利·朱丹,Jan-Oliver凯撒,德里克·德雷尔:
RustBelt与轻松的记忆相遇。程序。ACM计划。语言。 4(POPL公司):34:1-34:29(2020)
[公元21年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/JungDKD20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/JungDKD20
拉尔夫·荣格,Hoang-Hai Dang公司,Jeehoon Kang（Jeehon Kang）,德里克·德雷尔:
堆积借土：Rust的别名模型。程序。ACM计划。语言。 4(POPL公司):41:1-41:32(2020)
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/JungLPRTDJ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/JungLPRTDJ20
拉尔夫·荣格,鲁道夫·勒皮格雷,高拉夫·帕塔萨拉西,玛丽安娜·拉波波特,阿明·蒂曼尼,德里克·德雷尔,雅各布施:
未来是我们的：分离逻辑中的预言变量。程序。ACM计划。语言。 4(POPL公司):45:1-45:32(2020)
[公元36年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RaadBDDOV20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RaadBDDOV20
杜鹃花,乔什·伯丁,Hoang-Hai Dang公司,德里克·德雷尔,彼得·W·奥赫恩,朱尔斯·维拉德:
关于错误存在的局部推理：错误的分离逻辑。 CAV（2） 2020:225-252

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2018
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jfp/JungKJBBD18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/JungKJBBD18
拉尔夫·荣格,罗伯特·克雷伯斯,雅克·亨利·朱丹,亚历斯·比兹亚克,拉尔斯·比克达尔,德里克·德雷尔:
从头开始的Iris：高阶并发分离逻辑的模块化基础。 J.功能。程序。 28:第20页(2018)
[公元18年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/KrebbersJ0TKTCD18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/KrebbersJ0TKTCD18
罗伯特·克雷伯斯,雅克·亨利·朱丹,拉尔夫·荣格,约瑟夫·塔萨洛蒂,Jan-Oliver凯撒,阿明·蒂曼尼,亚瑟·查古埃罗（Arthur Charguéraud）,德里克·德雷尔:
MoSeL：一个通用的、可扩展的模式框架，用于分离逻辑中的交互证明。程序。ACM计划。语言。 2(ICFP公司):77:1-77:30(2018)
[公元17年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/KaiserZKRD18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/KesarZKRD18
Jan-Oliver凯撒,贝塔·齐利安尼,罗伯特·克雷伯斯,亚恩·雷吉斯·贾纳斯,德里克·德雷尔:
Mtac2：Coq中反向推理的类型化策略。程序。ACM计划。语言。 2(ICFP公司):78:1-78:31(2018)
[公元16年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/0002JKD18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/0002JKD18
拉尔夫·荣格,雅克·亨利·朱丹,罗伯特·克雷伯斯,德里克·德雷尔:
RustBelt：保护rust编程语言的基础。程序。ACM计划。语言。 2(POPL公司):66:1-66:34(2018)
2017
[公元15年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/KaiserDDLV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/KaiserDDLV17
Jan-Oliver凯撒,黄海当,德里克·德雷尔,奥里·拉哈夫,维克托·瓦菲亚迪斯:
弱记忆的强逻辑：关于虹膜（人工制品）中释放-获得一致性的推理。 Dagstuhl Artifacts爵士。三(2):15:1-15:2(2017)
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/pacpl/Swasey0D17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/Swasey0D17
大卫·斯瓦西,Deepak Garg公司,德里克·德雷尔:
对象功能模式的健壮和组合验证。程序。ACM计划。语言。 1(OOPSLA公司):89:1-89:26(2017)
[公元35年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/KaiserDDLV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/KaiserDDLV17
Jan-Oliver凯撒,Hoang-Hai Dang公司,德里克·德雷尔,奥里·拉哈夫,维克托·瓦菲亚迪斯:
弱记忆的强逻辑：关于虹膜释放-获得一致性的推理。 ECOOP公司 2017:17:1-17:29
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Krebbers0BJDB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Krebbers0BJDB17
罗伯特·克雷伯斯,拉尔夫·荣格,亚历斯·比兹亚克,雅克·亨利·朱丹,德里克·德雷尔,拉尔斯·比克达尔:
高阶并发分离逻辑的本质。员工持股计划 2017:696-723
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LahavVKHD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LahavVKHD17
奥里·拉哈夫,维克托·瓦菲亚迪斯,Jeehoon Kang（Jeehon Kang）,中基尔湖,德里克·德雷尔:
修复C/C++11中的顺序一致性。 PLDI公司 2017:618-632
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KangHLVD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KangHLVD17
Jeehoon Kang（Jeehon Kang）,中基尔湖,奥里·拉哈夫,维克托·瓦菲亚迪斯,德里克·德雷尔:
一种有前途的松弛内存并发语义。 POPL公司 2017:175-189
2016
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/DreyerS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/DreyerS16
德里克·德雷尔,玛丽·希兰:
2014年ICFP专刊：编辑。 J.功能。程序。 26:第20页(2016)
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/0002KB第16页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/0002KB第16页
拉尔夫·荣格,罗伯特·克雷伯斯,拉尔斯·比克达尔,德里克·德雷尔:
高阶幻影状态。 ICFP公司 2016:256-269
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KangKHDV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KangKHDV16
Jeehoon Kang（Jeehon Kang）,金永成,中基尔湖,德里克·德雷尔,维克托·瓦菲亚迪斯:
单独编译的轻量级验证。 POPL公司 2016:178-190
2015
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/ZilianiDKNV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/ZilianiDKNV15
贝塔·齐利安尼,德里克·德雷尔,内拉坎坦·R·克里希纳斯瓦米,阿列克桑达尔·纳内夫斯基,维克托·瓦菲亚迪斯:
Mtac：Coq中用于类型化策略编程的单子。 J.功能。程序。 25(2015)
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/NeisHKMDV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/NeisHKMDV15
乔治·奈斯,中基尔湖,Jan-Oliver凯撒,克雷格·麦克劳林,德里克·德雷尔,维克托·瓦菲亚迪斯:
Pilsner：一种用于高阶命令式语言的经过组合验证的编译器。 ICFP公司 2015:166-178
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/TasarottiDV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/TasarottiDV15
约瑟夫·塔萨洛蒂,德里克·德雷尔,维克托·瓦菲亚迪斯:
验证弱内存逻辑中的读-复制更新。 PLDI公司 2015:110-120
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/JungSSSTBD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/JungSSSTBD15
拉尔夫·荣格,大卫·斯瓦西,菲利普·西奇科夫斯基,卡斯珀·斯文森,亚伦·图伦,拉尔斯·比克达尔,德里克·德雷尔:
虹膜：单体和不变量作为并行推理的正交基础。 POPL公司 2015:637-650
[i1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/BirkedalDGS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/BirkedalDGS15
拉尔斯·比克达尔,德里克·德雷尔,菲利普·加德纳,钟绍:
下一代并发的组合验证方法（Dagstuhl研讨会15191）。达格斯图尔报告 5(5):1-23(2015)
2014
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/RossbergRD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/RossbergRD14
安德烈亚斯·罗斯伯格,克劳迪奥·拉索,德里克·德雷尔:
F-ing模块。 J.功能。程序。 24(5):529-607(2014)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigplan/Dreyer14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigplan/Dreyer14
德里克·德雷尔:
SIGPLAN奖项。 ACM SIGPLAN通知 49(4S汽车):5-7(2014)
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/TuronVD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/TuronVD14
亚伦·图伦,维克托·瓦菲亚迪斯,德里克·德雷尔:
GPS：用幽灵、协议和分离导航弱内存。 OOPSLA公司 2014:691-707
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KilpatrickDJM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KilpatrickDJM14
斯科特·基尔帕特里克,德里克·德雷尔,西蒙·佩顿·琼斯,西蒙·马洛:
背包：用接口改装Haskell。 POPL公司 2014:19-32
2013
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/GonthierZND13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/GonthierZND13
乔治·戈蒂尔,贝塔·齐利安尼,阿列克桑达尔·纳内夫斯基,德里克·德雷尔:
如何使即席证明自动化减少即席性。 J.功能。程序。 23(4):357-401(2013)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigplan/Dreyer13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigplan/Dreyer13
德里克·德雷尔:
SIGPLAN最具影响力的论文奖。 ACM SIGPLAN通知 48(4S汽车):7-8(2013)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigplan/DreyerFGHJSSW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigplan/DreyerFGHJSSW13
德里克·德雷尔,约翰·菲尔德,罗伯托·贾科巴齐,迈克尔·希克斯,苏雷什·贾甘纳森,穆利·萨吉夫,彼得·苏厄尔,菲利普·沃德勒:
POPL原则。 ACM SIGPLAN通知 48(4S汽车):12月16日(2013)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/RossbergD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/RossbergD13
安德烈亚斯·罗斯伯格,德里克·德雷尔:
混合ML模块系统。 ACM事务处理。程序。语言系统。 35(1):2:1-2:84(2013)
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KrishnaswamiD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KrishnaswamiD13
内拉坎坦·R·克里希纳斯瓦米,德里克·德雷尔:
在构造的扩张演算中内化关系参数。 CSL公司 2013:432-451
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/ZilianiDKNV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/ZilianiDKNV13
贝塔·齐利安尼,德里克·德雷尔,内拉坎坦·R·克里希纳斯瓦米,阿列克桑达尔·纳内夫斯基,维克托·瓦菲亚迪斯:
Mtac：Coq中用于类型化策略编程的单子。 ICFP公司 2013:87-100
[c22]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/TuronDB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/TuronDB13
亚伦·图伦,德里克·德雷尔,拉尔斯·比克达尔:
在高阶并发逻辑中统一求精和老式推理。 ICFP公司 2013:377-390
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HurNDV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HurNDV13
中基尔湖,乔治·奈斯,德里克·德雷尔,维克托·瓦菲亚迪斯:
参数化在共推证明中的作用。 POPL公司 2013:193-206
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/TuronTABD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/TuronTABD13
亚伦·约瑟夫·图伦,雅各布·塔姆斯堡,阿迈勒,拉尔斯·比克达尔,德里克·德雷尔:
细粒度并发的逻辑关系。 POPL公司 2013:343-356
2012
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/DreyerNB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/DreyerNB12
德里克·德雷尔,乔治·奈斯,拉尔斯·比克达尔:
高阶状态和控制效应对局部关系推理的影响。 J.功能。程序。 22(4-5):477-528(2012)
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/KrishnaswamiTDG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/克里希纳斯瓦米TDG12
内拉坎坦·R·克里希纳斯瓦米,亚伦·图伦,德里克·德雷尔,Deepak Garg公司:
表面上的子结构类型。 ICFP公司 2012:41-54
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HurDNV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HurDNV12
中基尔湖,德里克·德雷尔,乔治·奈斯,维克托·瓦菲亚迪斯:
相互模拟和克里普克逻辑关系的结合。 POPL公司 2012:59-72
2011
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1103-0510
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1103-0510
德里克·德雷尔,阿迈勒,拉尔斯·比克达尔:
逻辑分步索引逻辑关系。日志。方法计算。科学。 7(2)(2011)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/NisDR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/NisDR11
乔治·奈斯,德里克·德雷尔,安德烈亚斯·罗斯伯格:
非参数参数。 J.功能。程序。 21(4-5):497-562(2011)
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/GonthierZND11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/GonthierZND11
乔治·戈蒂尔,贝塔·齐利安尼,阿列克桑达尔·纳内夫斯基,德里克·德雷尔:
如何使即席证明自动化减少即席性。 ICFP公司 2011:163-175
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HurDV11文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HurDV11
中基尔湖,德里克·德雷尔,维克托·瓦菲亚迪斯:
垃圾收集中的分离逻辑。低收入国家 2011:247-256年
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HurD11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HurD11
中基尔湖,德里克·德雷尔:
ML和汇编之间的kripke逻辑关系。 POPL公司 2011:133-146
[电子2]
- 看法
- 出口记录
  dblp键：
  - 2011年conf/tldi
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tldi/2011
斯蒂芬妮·威里奇,德里克·德雷尔:
2011年1月25日于美国德克萨斯州奥斯汀举行的2011年ACM SIGPLAN语言设计与实现类型国际研讨会论文集。 ACM公司 2011，国际标准图书编号978-1-4503-0484-9 [目录]
2010
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/DreyerNB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/DreyerNB10
德里克·德雷尔,乔治·奈斯,拉尔斯·比克达尔:
高阶状态和控制效果对局部关系推理的影响。 ICFP公司 2010:143-156
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DreyerNRB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DreyerNRB10
德里克·德雷尔,乔治·奈斯,安德烈亚斯·罗斯伯格,拉尔斯·比克达尔:
高阶有状态ADT的关系模式逻辑。 POPL公司 2010:185-198
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tldi/RossbergRD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tldi/RossbergRD10
安德烈亚斯·罗斯伯格,克劳迪奥·拉索,德里克·德雷尔:
F-ing模块。 TLDI公司 2010:第89页至第102页

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/NeisDR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/NeisDR09
乔治·奈斯,德里克·德雷尔,安德烈亚斯·罗斯伯格:
非参数参数。 ICFP公司 2009:135-148
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DreyerAB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DreyerAB09
德里克·德雷尔,阿迈勒,拉尔斯·比克达尔:
逻辑分步索引逻辑关系。低收入国家 2009:71-80
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AhmedDR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AhmedDR09
阿迈勒,德里克·德雷尔,安德烈亚斯·罗斯伯格:
依赖于州的表示独立性。 POPL公司 2009:340-353
2008
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/DreyerR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/DreyerR08
德里克·德雷尔,安德烈亚斯·罗斯伯格:
混合ML模块系统。 ICFP公司 2008:307-320
2007
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/Dreyer07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/Dreyer07网址
德里克·德雷尔:
递归类型生成性。 J.功能。程序。 17(4-5):433-471(2007)
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/DreyerB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/DreyerB07
德里克·德雷尔,马蒂亚斯·布鲁姆:
模块化程序的主体类型方案。员工持股计划 2007:441-457
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/Dreyer07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/Dreyer07网址
德里克·德雷尔:
递归模块的类型系统。 ICFP公司 2007:289-302
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DreyerHCK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DreyerHCK07
德里克·德雷尔,罗伯·哈波,曼努埃尔·M·T·查克拉瓦蒂,加布里埃尔·凯勒:
模块化类型类别。 POPL公司 2007:63-70
[电子1]
- 看法
  - dblp中的目录
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ml/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ml/2007
克劳迪奥·拉索,德里克·德雷尔:
2007年10月5日在德国弗莱堡举行的2007年美国医学会ML研讨会论文集。 ACM公司 2007，国际标准图书编号978-1-59593-676-9 [目录]
2005
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/Dreyer05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/Dreyer05
德里克·德雷尔:
递归类型生成性。 ICFP公司 2005:41-53
2004
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Dreyer04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Dreyer04网址
德里克·德雷尔:
用于基础良好的递归的类型系统。 POPL公司 2004:293-305年
2003
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/DreyerCH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/DreyerCH03
德里克·德雷尔,卡尔·克莱里,罗伯·哈波:
高阶模的一种类型系统。 POPL公司 2003:236-249
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tldi/范德瓦特DPCHC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tldi/VanderwaartDPCHC03
约瑟夫·范德瓦特,德里克·德雷尔,叶·彼得森,卡尔·克莱里,罗伯·哈波,程伊兵:
递归数据类型的类型化编译。 TLDI公司 2003:98-108

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1998
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jgo/DreyerO98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jgo/DreyerO98
德里克·德雷尔,迈克尔·奥弗顿:
欧氏斯坦纳树问题的两种启发式算法。 J.全球。最佳方案。 13(1):95-106(1998)

合著者索引

请参阅常见问题解答

服务

管理站点设置

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