停止战争！

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

对于科学家：

默认搜索操作

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

问别人

26.2017年ESOP：瑞典乌普萨拉（ETAPS 2017的一部分）

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/2017
杨红seok:
编程语言与系统——第26届欧洲编程研讨会，2017年ESOP，作为欧洲软件理论与实践联合会议的一部分，2017年ETAPS，2017年4月22日至29日，瑞典乌普萨拉，会议记录。计算机科学课堂讲稿10201,施普林格 2017，国际标准图书编号978-3-662-54433-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/AlpuimOS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/AlpuimOS17
乔安·阿普伊姆,布鲁诺·C·d·S·奥利维拉,石志远:
不相交多态。 1-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/AnconaDZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/AnconaDZ17
戴维德·安科纳,弗朗西斯科·达尼诺,埃琳娜·祖卡:
通过Coaxioms推广推理系统。 29-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Atkey17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Atkey17
罗伯特·艾奇:
观察到的经典过程的通信语义。 56-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/DArgenioBBFH17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/DArgenioBBFH17
佩德罗·达吉尼奥,吉尔斯·巴特,塞巴斯蒂安·比沃,伯恩德·芬克贝纳,霍尔格·赫尔曼斯:
你的软件有兴奋剂吗对超常规“增强”计划的形式分析。 83-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/布兰切特BL0T17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BlanchetteBL0T17
贾斯敏·克里斯蒂安·布兰切特,艾默里·布齐,安德烈亚斯·洛赫比勒,安德烈·波佩斯库,德米特里·特拉泰尔:
福利之友-在基础证明助理中实施公司担保。 111至140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/BonchiGKSZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BonchiGKSZ17
菲利波·邦奇,法比奥·加杜奇,亚历克斯·基辛格,帕维尔·索博辛斯基,法比奥·扎纳西:
图形重写与接口的融合。 141-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/BouajjaniEEOT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BouajjaniEEOT17
艾哈迈德·布阿贾尼,迈克尔·埃米,康斯坦丁·埃纳,Burcu Kulahcioglu Ozkan先生,塞尔达尔·塔西兰:
验证事件驱动异步程序对并发的鲁棒性。 170-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Boutillier公司EK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BoutilierEK17
皮埃尔·布特利耶,托马斯·埃尔哈德,让·克里文:
图形重写的增量更新。 201-228
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CairesP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CairesP17
路易斯·凯雷斯,豪尔赫·佩雷斯:
线性、控制效果和行为类型。 229-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/ChargueraudP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/ChargueraudP17
亚瑟·查古埃罗（Arthur Charguéraud）,弗朗索瓦·波蒂埃:
分离逻辑的临时只读权限。 260-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/ChatterjeeKMP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/ChatterjeeKMP17
克里希南德·查特吉,伯恩哈德·克拉格尔,萨默斯·米什拉,安德烈亚斯·帕夫罗甘尼斯:
加权递归状态机的快速算法。 287-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/科顿-巴拉特M17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Cotton-BarrattM17网址
康拉德·科顿-巴雷特,安德烈·穆拉夫斯基,C.-H.卢克·翁:
ML和扩展分支VASS。 314-340
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CrubillL17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CrubillL17
拉斐尔·克鲁比莱,乌戈达尔湖:
关于\lambda的度量推理-术语：一般情况。 341-367
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/辣椒C17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CulpiperC17
瑞安·库佩尔,安德鲁·科布:
具有连续随机变量和评分的概率程序的上下文等价性。 368-392
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/LagoG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/LagoG17网站
乌戈达尔湖,查尔斯·格雷洛伊斯:
通过单数仿射大小键入进行概率终止。 393-419
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Dinsdale-Young第17页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Dinsdale-YoungP17
托马斯·丁斯代尔-杨,佩德罗·达罗查·平托,克里斯托弗·安徒生,拉尔斯·比克达尔:
Caper-细粒度并发的自动验证。 420-447年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/DokoV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/DokoV17
马尔科·多科,维克托·瓦菲亚迪斯:
用FSL++解决现实生活中放松的并发问题。 448-475
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Dunfield公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Dunfield17
贾娜·邓菲尔德:
可扩展数据排序优化。 476-503
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/0001P17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/0001P17
费雷拉,布里吉特·皮恩特卡:
使用语法和一级活页夹的程序。 504-529
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/乔治MOP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/GeorgesMOP17
艾娜·林·乔治斯,阿加塔·穆拉夫斯卡,肖恩·奥蒂斯,布里吉特·皮恩特卡:
LINCX：具有一级上下文的线性逻辑框架。 530-555
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Gibbons公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Gibbons17
杰里米·吉本斯:
使用Naperian Functors的许可编程。 556-583
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/GueneauMKN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/GueneauMKN17
阿玛·盖诺,马格努斯·奥·米林,拉马娜·库马尔,迈克尔·诺里什:
CakeML的验证特征公式。 584-610
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/JansenKMNZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/JansenKMNZ17
克里斯蒂娜·詹森,延斯·卡特兰,克里斯托夫·马蒂亚,托马斯·诺尔,弗洛里安·祖勒格:
符号堆分离逻辑鲁棒性的统一推理。 611-638
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/KhyzhaDGP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/KhyzhaDGP17
阿特姆·库扎,迈克·多兹,亚历克谢·戈茨曼,马修·帕金森:
使用偏序证明线性化。 639-667
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/KopS17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/KopS17
辛西娅·科普,雅各布·格鲁·西蒙森:
高阶隐式复杂度中非确定性的力量——使用非确定性无约束编程表征复杂类。 668-695
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Krebbers0BJDB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Krebbers0BJDB17
罗伯特·克雷伯斯,拉尔夫·荣格,亚历斯·比兹亚克,雅克·亨利·朱丹,德里克·德雷尔,拉尔斯·比克达尔:
高阶并发分离逻辑的本质。 696-723
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Kuncar017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Kuncar017
翁德雷伊·昆卡尔,安德烈·波佩斯库:
理解Isabelle/HOL的一致性。 724-749
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/伦伯格LS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/LeinbergerLS17
马丁·伦伯格,拉尔夫·拉梅尔,斯特芬·斯塔布:
语义数据函数编程的本质。 750-776
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Miquey17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Miquey17
埃蒂安·米奎:
具有从属类型的经典序贯演算。 777-803
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Padovani公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Padovani17
卢卡·帕多瓦尼:
无上下文会话类型推断。 804-830
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Sato017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Sato017
佐藤良介,小林直树:
高阶功能程序的模块化验证。 831-854
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/统计17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Staton17
萨姆·斯塔顿:
概率编程的交换语义。 855-879
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/TangWXZW017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/TangWXZW017
郝唐,狄王,熊英飞,张玲明,王晓音,陆章:
条件Dyck-CFL可达性分析用于完整高效的图书馆摘要。 880-908
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/TassarottiJ017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/TassarottiJ017
约瑟夫·塔萨洛蒂,拉尔夫·荣格,罗伯·哈波:
并发终止保留优化的高阶逻辑。 909-936
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/WoodDLE17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/WoodDLE17
蒂姆伍德,索菲亚·德罗索波卢,Shuvendu K.Lahiri公司,苏珊·艾森巴赫:
内存分配中程序等效性的模块化验证。 937-963
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Xiong PNG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Xiong PNG17
Shale Xiong公司,佩德罗·达罗查·平托,吉安·恩茨克,菲利普·加德纳:
并发映射的抽象规范。 964-990

服务

管理网站设置

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