停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2018年第27届ESOP：希腊塞萨洛尼基（ETAPS 2018的一部分）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/2018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/2018
阿迈勒:
编程语言与系统——第27届欧洲编程研讨会，2018年ESOP，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14日至20日，会议记录。计算机科学课堂讲稿10801,施普林格 2018，国际标准图书编号978-3-319-89883-4

语言设计

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/XieBO18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/XieBO18
谢宁宁,玄壁,布鲁诺·C·d·S·奥利维拉:
为所有人提供一致的子类型。 3-30
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/松田018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Matsuda018
松田和隆,孟旺（Meng Wang）:
HOBiT：不使用透镜组合器编程透镜。 31-59
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/OstermannJ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/OstermannJ18
克劳斯·奥斯特曼,朱利安·贾布斯:
通过矩阵转置对偶广义代数数据类型。 60-85
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/AguadoMPRH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/AguadoMPRH18
约阿金·阿瓜多,迈克尔·门德勒,马克·普泽特,Partha S.Roop公司,莱因哈德·冯·汉克斯利登:
确定性并发：一种时钟同步共享内存方法。 86-113

概率规划

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/BartheEGGHS18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BartheEGGHS18
吉尔斯·巴特,托马斯·埃斯皮托,马可·加博阿迪,本杰明·格雷戈里,徐宇春（Justin Hsu）,Pierre-Yves支柱:
概率程序的基于断言的程序逻辑。 117-144
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/BichselGV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BichselGV18
本杰明·比切尔,蒂蒙·盖尔,马丁·T·韦切夫:
概率程序的细粒度语义。 145-185
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/BatzKKM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BatzKKM18
凯文·巴茨,本杰明·卢西安·卡明斯基,Joost-Pieter Katoen公司,克里斯托夫·马蒂亚:
贝叶斯网络，我会给你采样多久关于预期采样时间的程序分析视角。 186-213
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/0001BBBG018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/001BBBG018
亚历杭德罗·阿吉雷,吉尔斯·巴特,拉尔斯·比克达尔,亚历斯·比兹亚克,马可·加博阿迪,Deepak Garg公司:
概率守恒Lambda演算中Markov链的关系推理。 214-241

类型和效果

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/PedrotT18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/PedrotT18
皮尔雷·马里·佩德罗,尼古拉斯·塔巴鲁:
失败不是一种选择——一种例外类型理论。 245-271
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/XieO18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/XieO18
谢宁宁,布鲁诺·C·d·S·奥利维拉:
让争论先行。 272-299
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SimpsonV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SimpsonV18
亚历克斯·辛普森,尼尔斯·F·W·沃诺内维尔:
通过代数效应模式实现行为等效。 300-326
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SalehKPS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SalehKPS18
阿姆尔·哈尼·萨利赫,乔治奥斯·卡拉查利亚斯,马蒂亚·普雷特纳,汤姆·施里杰弗斯:
显式效果子类型。 327-354

并发

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SvendsenPDLV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SvendsenPDLV18
卡斯珀·斯文森,Jean Pichon-Pharabod公司,马尔科·多科,奥里·拉哈夫,维克托·瓦菲亚迪斯:
前景语义的分离逻辑。 357-384
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/LeH18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/LeH18
宣巴赫乐,阿奎那·霍伯:
非联合权限的逻辑推理。 385-414
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Hamin018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Hamin018
贾法尔·哈敏,雅各布施:
无死锁监视器。 415-441
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/AbdullaJT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/AbdullaJT18
帕罗什·阿齐兹·阿卜杜拉,本特·琼森,聪奎·崔:
用于并发形状分析的碎片提取。 442-471

安全

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SkorstengaardDB18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SkorstengaardDB18
刘斯科斯滕加德,多米尼克·德弗里斯,拉尔斯·比克达尔:
关于具有本地功能的机器的推理-可以证明安全的堆栈和返回指针管理。 475-501
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/EilersMH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/EilersMH18
马可·艾尔斯,彼得·米勒,塞缪尔·希茨:
模块化产品计划。 502-529

程序验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/GueneauCP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/GueneauCP18
阿玛·盖诺,亚瑟·查古埃罗（Arthur Charguéraud）,弗朗索瓦·波蒂埃:
一大笔钱：通过演绎程序验证将渐进复杂性声明形式化。 533-560
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/MertenBS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/MertenBS18
塞缪尔·梅尔滕,亚历山大·巴格纳尔,戈登·斯特瓦特:
验证学习无悔——从算法博弈论到具有机械化复杂性保证的分布式系统。 561-588
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/MoorePR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/MoorePR18
布兰登·M·摩尔,卢卡斯·佩尼亚,格里戈·罗苏:
通过模拟验证程序。 589-618
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/RahliVVV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/RahliVVV18
文森特·拉里,伊万娜·武科蒂奇,马库斯·沃尔普,保罗·豪尔赫·埃斯特夫·维西莫:
Velisarios：Coq支持的拜占庭容错协议。 619-650

程序分析和自动验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/WeiMRF018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/WeiMRF018
Shiyi Wei公司,彼得·马尔泽尔,安德鲁·鲁夫,杰弗里·福斯特,迈克尔·希克斯:
评估Java数字静态分析中的设计权衡。 653-682
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/城市18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/UrbanM18网址
Caterina城市,彼得·米勒:
输入数据使用的抽象解释框架。 683-710
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/0001TW18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/0001TW18
小林直树,津田武史,渡边庆一:
通过HFL模型检查进行高阶程序验证。 711-738
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/ChatterjeeGV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/ChatterjeeGV18
克里希南德·查特吉,阿米尔·卡夫什达尔·戈哈沙迪,纱线维纳:
智能合约的定量分析。 739-767

会话类型和并发

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/GommerstadtJP18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/GommerstadtJP18
汉娜·贡默施塔特,李敏佳,弗兰克·普芬宁:
会话类型的并发合同。 771-798
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/VieringCEHZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/VieringCEHZ18
马尔特·维林,陈子淳,帕特里克·尤格斯特,雷蒙德·胡,卢卡斯·齐亚雷克:
分布式系统中静态验证崩溃故障处理的类型规则。 799-826
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/ToninhoY18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/ToninhoY18
贝尔纳多·托尼尼奥,吉田信子:
关于多形会话和功能——两个（完全抽象的）编码的故事。 827-855
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/KappeB0Z18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/KappeB0Z18
托比亚斯·卡佩,保罗·布鲁特,亚历山德拉·席尔瓦,法比奥·扎纳西:
并发Kleene代数：自由模型与完备性。 856-882

并发和分发

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/FrancoCDVW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/FrancoCDVW18
朱莉安娜·佛朗哥,Sylvan Clebsch公司,索菲亚·德罗索普洛,扬·维泰克,托比亚斯·箭牌:
Actor语言并发对象收集器的正确性。 885-911
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Garcia-PerezGMS18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Garcia-PerezGMS18
阿尔瓦罗·加西亚·佩雷斯,亚历克谢·戈茨曼,尤里·梅什曼,伊利亚·谢尔盖:
帕克索斯共识，解构和抽象。 912-939
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/RaadLV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/RaadLV18
杜鹃花,奥里·拉哈夫,维克托·瓦菲亚迪斯:
并行快照隔离和发布/获取一致性。 940-967
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/JagadeesanR18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/JagadeesanR18
拉德哈·贾加迪桑,詹姆斯·里利:
CRDT的最终一致性。 968-995

编译器验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/HupelN18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/HupelN18
拉尔斯·胡佩尔,托比亚斯·尼普科:
从Isabelle/HOL到CakeML的经过验证的编译器。 999-1026
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/DoddsBG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/DoddsBG18
迈克·多兹,马克·巴蒂,亚历克谢·戈茨曼:
松弛内存上编译器优化的组合验证。 1027-1055

服务

管理网站设置

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