默认搜索操作

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

问别人

24.2015年ESOP：英国伦敦（ETAPS 2015的一部分）

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/2015年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/2015
扬·维泰克:
编程语言与系统——2015年第24届欧洲编程研讨会，ESOP，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。计算机科学课堂讲稿9032,施普林格 2015，十亿978-3-662-46668-1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/GordonRSBRGT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/GordonRSBRGT15
安德鲁·戈登,克劳迪奥·拉索,马钦·西姆扎克（Marcin Szymczak）,约翰内斯·博格斯特罗姆,尼古拉斯·罗兰,格雷佩尔,丹尼尔·塔洛:
概率程序作为电子表格查询。 1-25
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/ChengR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/ChengR15
铁城,Xavier对手:
用于类型安全操作检测的电子表格应用程序的静态分析。 26-52
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/多伦多MH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/TorontoMH15
尼尔·多伦多,杰-麦卡锡,大卫·范·霍恩:
向后运行概率程序。 53-79
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/EberlHN15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/EberlHN15
曼纽尔·埃贝尔,约翰内斯·霍尔兹尔,托比亚斯·尼普科:
概率密度函数的验证编译器。 80-104
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CernyHKRZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CernyHKRZ15
帕沃尔·塞恩,托马斯·汉津格,劳拉·科瓦奇,阿琼·拉德哈克里什纳,Jakob Zwirchmayr公司:
最坏情况执行时间分析的段抽象。 105-131
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/0002S15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/0002S15
扬·霍夫曼,钟绍:
并行程序的自动静态成本分析。 132-157
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Penninckx0P15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Penninckx0P15
威廉·彭宁克,雅各布施,弗兰克·皮森斯:
程序输入/输出行为的声音、模块和合成验证。 158-182
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/DavidKL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/DavidKL15
克里斯蒂娜·戴维,丹尼尔·克罗宁,麦特·刘易斯:
位向量程序的无限制终止和非终止参数。 183-204
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/NeronTVW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/NeronTVW15
皮埃尔·内龙,安德鲁·托尔马赫,埃尔科·维瑟,Guido Wachsmuth公司:
名称解析理论。 205-231
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Castagna10B15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CastagnaI0B15
朱塞佩·卡斯塔尼亚,Hyeonseung Im公司,金恩恩（Kim Nguyen）,维罗尼克·本扎肯:
XQuery 3.0的核心演算-结合导航和模式匹配方法。 232-256
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Chugh15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Chugh15
拉维·丘格:
IsoLATE：一种用于自递归的类型系统。 257-282
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/电池MNPS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BattyMNPS15
马克·巴蒂,凯文·梅马里安,Kyndylan Nienhuis公司,Jean Pichon-Pharabod公司,彼得·苏厄尔:
编程语言并发语义问题。 283-307
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/阿卜杜拉AP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/AbdullaAP15
帕罗什·阿齐兹·阿卜杜拉,穆罕默德·法乌齐·阿提格,Ngo Tuan Phong公司:
两全其美：TSO围栏插入的交易效率和最优性。 308-332
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SergeyNB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SergeyNB15
伊利亚·谢尔盖,亚历山大·纳涅夫斯基,安妮迪亚·班纳吉:
用历史和主观性指定和验证并发算法。 333-358
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Blanchette0T15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Blanchette0T15
贾斯敏·克里斯蒂安·布兰切特,安德烈·波佩斯库,德米特里·特雷特尔:
见证（Co）数据类型。 359-382
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/FetscherCPHF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/FetscherCPHF15
伯克·费舍尔,科恩·克莱森,米歇尔·帕尔卡,约翰·休斯,罗伯特·布鲁斯·芬德勒:
随机判断：从类型系统的定义中自动生成良好类型的术语。 383-405
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CicekGA15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CicekGA15
埃兹吉切克,迪帕克·加尔格,Umut A.Acar公司:
增量计算复杂性的优化类型。 406-431
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SiekVCTG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SiekVCTG15
Jeremy G.Siek先生,迈克尔·维托塞克,马泰奥·西米尼,萨姆·托宾-霍奇斯塔特,罗纳德·加西亚:
高效渐变类型的单调参考。 432-456
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Frielinghaus公司PS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/FrielinghausPS15
斯特凡·舒尔泽·弗里林豪斯,迈克尔·皮特,赫尔穆特·塞德尔:
过程间双变量赫伯朗均衡。 457-482
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CoxCR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CoxCR15
阿伦·考克斯,Bor-Yuh Evan Chang先生,Xavier对手:
动态语言中开放程序的非同步多状态抽象。 483-509
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CalzavaraBCS15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CalzavaraBCS15
斯特凡诺·卡尔扎瓦拉,米歇尔·布列西,西尔维娅·克拉法,恩里科·斯特芬隆戈:
精细检测浏览器扩展上的权限提升攻击。 510-534
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/EmmiGMR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/EmmiGMR15
迈克尔·埃米,皮埃尔·甘蒂,鲁帕克·马朱姆达尔,费尔南多·罗莎·维拉尔多:
使用基于事件的同步分析异步程序。 535-559
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Lindley公司M15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/LindleyM15
萨姆·林德利,J.加勒特·莫里斯:
命题作为会话的语义学。 560-584
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/GotsmanY15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/GotsmanY15
亚历克谢·戈茨曼,杨红seok:
复合复制数据类型。 585-609
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/TerauchiU15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/TerauchU15
塔奇·特劳奇,Hiroshi Unno先生:
放松分层：一种实用的完全谓词精化的新方法。 610-633
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/AlbarghouthiBCK15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/AlbarghouthiBCK15
奥斯·阿尔巴古蒂,乔什·伯丁,拜伦·库克,扎卡里·金凯德:
空间插值。 634-660
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/DavidKL15a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/DavidKL15a
克里斯蒂娜·戴维,丹尼尔·克罗宁,麦特·刘易斯:
关于堆操作程序的安全性和终止的命题推理。 661-684
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SchererR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SchererR15
加布里埃尔·谢勒,迪迪埃·雷米:
在荒谬面前完全还原。 685-709
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/RaadVG15文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/RaadVG15
杜鹃花,朱尔斯·维拉德,菲利普·加德纳:
CoLoSL：并行局部主观逻辑。 710-735
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SieczkowskiSBP15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SieczkowskiSBP15
菲利普·西奇科夫斯基,卡斯珀·斯文森,拉尔斯·比克达尔,Jean Pichon-Pharabod公司:
虚拟序列一致性的分离逻辑。 736-761
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Ricciotti公司15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Ricciotti15
威尔默·里奇奥蒂:
将结构绑定为抽象数据类型。 762-786
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/VasconcelosJFH15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/VasconcelosJFH15网站
佩德罗·巴斯康塞洛斯,斯特芬·乔斯特,马里奥·弗洛里多,凯文·哈蒙德:
懒惰函数语言中基于类型的共递归分配分析。 787-811
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SeidelVJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SeidelVJ15
埃里克·塞德尔,尼基·瓦祖,兰吉特·贾拉:
类型目标测试。 812-836

管理网站设置

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