第31届欧洲面向对象编程会议（ECOOP 2017）

摘要

引用为

第31届欧洲面向对象编程会议（ECOOP 2017）。《莱布尼茨国际信息学论文集》，第74卷，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2017）

@会议记录{穆勒：LIPIcs.ECOOP.2017，title={{LIPIcs，第74卷，ECOOP'17，完整卷}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017},URN={URN:nbn:de:0030-drops-72993}，doi={10.4230/LIPIcs.ECOOP.2017}，annote={关键词：编程技术；软件工程}}

摘要

引用为

第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第0:i-0:xxvi页，达格斯图尔-莱布尼兹-泽特鲁姆信息技术学院（2017）

@会议记录{穆勒：LIPIcs.ECOOP.2017.0，作者={M\“{u} 勒尔，Peter}，title={{正文、目录、前言、会议组织、外部审阅者、作者}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页面={0:i--0:xxvi}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2017.0},URN={URN:nbn:de:0030-drops-72783}，doi={10.4230/LIPIcs.ECOOP.2017.0}，annote={关键词：编程技术，软件工程}}

摘要

引用为

沃尔夫拉姆·舒尔特。实现大规模高可用性的挑战（受邀演讲）。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第1:1页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@《国际法院判例汇编》，2017.1，author={Schulte，Wolfram}，title={{实现大规模高可用性的挑战}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页面={1:1--1:1}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2017.1},URN={URN:nbn:de:0030-drops-72503}，doi={10.4230/LIPIcs.ECOOP.2017.1}，annote={关键词：分布式系统，可用性，可靠性，容错，一致性，可扩展性，复制，切分，缓存}}

摘要

引用为

吉拉德·布拉查。在不和谐时代创作软件（邀请谈话）。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第2:1页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2017）

@会议记录{bracha:LIPIcs.ECOOP.2017.2，作者={Bracha，Gilad}，title={{在不和谐时代创作软件}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={2:1--2:1}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器=｛M\”{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2017.2},URN={URN:nbn:de:0030-drops-72796}，doi={10.4230/LIPIcs.ECOOP.2017.2}，annote={关键词：面向对象，编程语言，模块化，IDE，软件设计}}

摘要

引用为

罗斯·泰特。重新定位逐步键入（邀请谈话）。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第3:1页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{tate:LIPIcs.ECOOP.2017.3，author={泰特，罗斯}，title＝｛｛重定目标逐步键入｝｝，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={3:1--3:1}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器=｛M\”{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2017.3},URN={URN:nbn:de:0030-drops-72802}，doi={10.4230/LIPIcs.ECOOP.2017.3}，annote={关键词：设计、效率、渐变类型、命名类型}}

摘要

引用为

托德·安德森（Todd A.Anderson）、刘海（Hai Liu）、林赛·库珀（Lindsey Kuper）、埃桑·托托尼（Ehsan Totoni）、扬·维泰克（Jan Vitek）和塔蒂亚娜·施佩斯曼（Tatiana Shpeisman）。将Julia与非侵入性DSL并行。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第4:1-4:29页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{anderson_et_al:LIPIcs.ECOOP.2017.4，author={安德森、托德A.和刘、海和库珀、林赛和托托尼、埃桑和维泰克、简和施佩斯曼、塔蒂亚娜}，title={{将Julia与非侵入DSL}}并行，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={4:1--4:29}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2017.4},URN＝{URN:nbn:de:00030-drops-72693}，doi={10.4230/LIPIcs.ECOOP.2017.4}，annote={关键词：并行、科学计算、领域特定语言、Julia}}

摘要

引用为

Martin Berger、Laurence Tratt和Christian Urban。同质生成元编程建模。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第5:1-5:23页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{berger_et_al:LIPIcs.ECOOP.2017.5，author={伯杰、马丁和特拉特、劳伦斯和厄本、克里斯蒂安}，title={{建模同质生成元编程}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={5:1--5:23}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2017.5},URN={URN:nbn:de:0030-drops-72775}，doi={10.4230/LIPIcs.ECOOP.2017.5}，annote={关键词：形式方法、元编程、操作语义、类型、准引号、抽象语法树}}

摘要

引用为

Elias Castegren和Tobias Wrigstad。无锁数据结构的松弛线性引用。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第6:1-6:32页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{castgren_et_al:LIPIcs.ECOOP.2017.6，作者={卡斯特格林、埃利亚斯和箭牌、托拜厄斯}，title={{无锁数据结构的松弛线性引用}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={6:1--6:32}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2017.6},URN={URN:nbn:de:0030-drops-72670}，doi={10.4230/LIPIcs.ECOOP.2017.6}，annote={关键词：类型系统，并发，无锁编程}}

摘要

引用为

雷米尔·克鲁兹、塔玛拉·雷兹克、伯纳德·塞尔佩特和埃里克·坦特。松弛非干涉的类型抽象。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第7:1-7:27页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{cruz_et_al:LIPIcs.ECOOP.2017.7，author={Cruz、Raimil和Rezk、Tamara和Serpette、Bernard和Tanter{E} 里克},title={{松弛非干涉的类型抽象}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={7:1--7:27}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2017.7},URN={URN:nbn:de:0030-drops-72688}，doi={10.4230/LIPIcs.ECOOP.2017.7}，annote={关键词：类型抽象，放松的无干扰，信息流控制}}

摘要

引用为

热尔曼·安德烈斯·德尔比安科、伊利亚·谢尔盖、阿列克桑达尔·纳内夫斯基和阿尼德亚·巴纳吉。实时链接的并发数据结构。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第8:1-8:30页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{delbianco_et_al:LIPIcs.ECOOP.2017.8，author={Delbianco，德语\'{a} n个安德烈{e} 秒谢尔盖、伊利亚、纳内夫斯基、阿列克桑达尔、班纳吉、安妮迪亚，title={{时间链接的并发数据结构}}，booktitle＝{第31届面向对象编程欧洲会议（ECOOP 2017）}，页数={8:1--8:30}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器=｛M\”{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2017.8},URN={URN:nbn:de:0030-drops-72558}，doi={10.4230/LIPIcs.ECOOP.2017.8}，annote={关键词：分离逻辑，线性化点，并发快照，FCSL}}

摘要

引用为

Jens Dietrich、David J.Pearce、Kamil Jezek和Premek Brada。野生合同：Java程序研究。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第9:1-9:29页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@InProceedings｛dietrich_et_al:LIPIcs.ECOP.2017.9，author={Dietrich、Jens和Pearce、David J.和Jezek、Kamil和Brada、Premek}，title={{野生契约：Java程序研究}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={9:1--9:29}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.9},URN={URN:nbn:de:0030-drops-72590}，doi={10.4230/LIPIcs.ECOOP.2017.9}，annote={关键词：验证，按合同设计，断言，前提条件，后置条件，运行时检查，java，输入验证}}

摘要

引用为

Jens Dietrich、Kamil Jezek、Shawn Rasheed、Amjed Tahir和Alex Potanin。邪恶泡菜：基于对象图形工程的DoS攻击。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第10:1-10:32页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{dietrich_et_al:LIPIcs.ECOOP.2017.10，作者＝{Dietrich，Jens和Jezek，Kamil和Rasheed，Shawn和Tahir，Amjed和Potanin，Alex}，title={{Evil Pickles:基于对象图形工程的DoS攻击}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={10:1--10:32}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.10},URN={URN:nbn:de:0030-drops-72606}，doi={10.4230/LIPIcs.ECOOP.2017.10}，annote={关键词：序列化、拒绝服务、服务降级、Java、C#、JavaScript、Ruby、漏洞、库设计、集合库}}

摘要

引用为

西蒙·福勒（Simon Fowler）、萨姆·林德利（Sam Lindley）和菲利普·沃德勒（Philip Wadler）。混合隐喻：演员作为频道，频道作为演员。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第11:1-11:28页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2017）

@会议记录{fowler_et_al:LIPIcs.ECOOP.2017.11，author={Fowler、Simon和Lindley、Sam和Wadler、Philip}，title={{混合隐喻：演员作为频道，频道作为演员}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={11:1--11:28}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.11},URN={URN:nbn:de:0030-drops-72536}，doi={10.4230/LIPIcs.ECOOP.2017.11}，annote={关键词：演员、频道、以通信为中心的编程语言}}

摘要

引用为

傅伟力、罗利·佩雷拉、保罗·安德森和詹姆斯·切尼。木偶：木偶配置语言的声明子集。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第12:12:27页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{fu_et_al:LIPIcs.ECOOP.2017.12，author={Fu、Weili和Perera、Roly和Anderson、Paul和Cheney、James}，title={{muppet:木偶配置语言的声明子集}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={12:1--12:27}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.12},URN={URN:nbn:de:0030-drops-72656}，doi={10.4230/LIPIcs.ECOOP.2017.12}，annote={关键词：配置语言，Puppet，操作语义}}

摘要

引用为

科林·S·戈登。流敏多晶效应的一般方法。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第13:1-13:31页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{戈登：LIPIcs.ECOOP.2017.13，作者={Gordon，Colin S.}，title={{流敏多晶效应的一般方法}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页码={13:1--13:31}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.13},URN={URN:nbn:de:0030-drops-72561}，doi={10.4230/LIPIcs.ECOOP.2017.13}，annote={关键词：类型系统，效果系统，量子数，多态性}}

摘要

引用为

Daco C.Harkes和Eelco Visser。冰尘2：衍生的双向关系和计算策略组成。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第14:1-14:29页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{harkes_et_al:LIPIcs.ECOOP.2017.14，author={Harkes，Daco C.和Visser，Eelco}，title={{IceDust 2:导出的双向关系和计算策略组合}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={14:1--14:29}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.14},URN={URN:nbn:de:0030-drops-72518}，doi={10.4230/LIPIcs.ECOOP.2017.14}，annote={关键词：增量计算、数据建模、领域特定语言}}

摘要

引用为

Jeff Huang和Arun K.Rajagopalan。精确动态种族检测的最佳性能是什么冗余视角。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第15:1-15:22页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{huang_et_al:LIPIcs.ECOOP.2017.15，author={Huang，Jeff和Rajagopalan，Arun K.}，title={{精确动态种族检测的最佳性能是什么？–冗余视角}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={15:1--15:22}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.15},URN={URN:nbn:de:0030-drops-72722}，doi={10.4230/LIPIcs.ECOOP.2017.15}，annote={关键词：数据竞争检测、动态分析、并发、冗余}}

摘要

引用为

黄世友和黄杰夫。利用静态依赖分析加速最大因果关系减少。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第16:1-16:22页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{huang_et_al:LIPIcs.ECOOP.2017.16，author={黄，施友和黄，杰夫}，title={{使用静态依赖分析加速最大因果关系约简}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={16:1--16:22}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.16},URN={URN:nbn:de:0030-drops-72523}，doi={10.4230/LIPIcs.ECOOP.2017.16}，annote＝｛关键词：模型检查、动态分析、程序依赖性分析｝}

摘要

引用为

Jan-Oliver Kaiser、Hoang-Hai Dang、Derek Dreyer、Ori Lahav和Viktor Vafeiadis。弱记忆的强逻辑：关于虹膜中释放-获得一致性的推理。第31届欧洲面向对象编程会议（ECOOP 2017）。《莱布尼茨国际信息学论文集》，第74卷，第17:1-17:29页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2017）

@会议记录{kaiser_et_al:LIPIcs.ECOOP.2017.17，author={Kaiser、Jan-Oliver和Dang、Hoang-Hai和Dreyer、Derek和Lahav、Ori和Vafeiadis、Viktor}，title={{弱记忆的强逻辑：关于Iris}}中释放获得一致性的推理，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={17:1--17:29}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.17},URN={URN:nbn:de:0030-drops-72753}，doi={10.4230/LIPIcs.ECOOP.2017.17}，annote={关键词：弱内存模型，发布获取，并发，分离逻辑}}

摘要

引用为

埃德利拉·库奇（Edlira Kuci）、塞巴斯蒂安·埃尔德维格（Sebastian Erdweg）、奥利弗·布拉切瓦克（Oliver Bracevac）、安迪·贝杰莱里（Andi Bejleri）和米拉·梅齐尼（Mira Mezini）。Featherweight Java的一个协同类型检查器。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第18:1-18:26页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@诉讼程序{kuci_et_al:LIPIcs.ECOOP.2017.18，author={库奇、埃德利拉和埃尔德维格、塞巴斯蒂安和布拉塞瓦克、奥利弗和贝杰利、安迪和梅齐尼、米拉}，title={{Featherweight Java的协同类型检查器}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={18:1--18:26}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.18},URN={URN:nbn:de:0030-drops-72628}，doi={10.4230/LIPIcs.ECOOP.2017.18}，annote={关键词：类型检查、上下文关联、约束、类表、Featherweight Java}}

摘要

引用为

米卡·迈耶、贾德·哈姆扎和维克托·昆卡。示例中递归树到字符串函数的主动合成。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第19:1-19:30页，达格斯图尔-莱布尼兹-泽特鲁姆信息技术学院（2017）

@会议记录{mayer_et_al:LIPIcs.ECOOP.2017.19，author={Mayer，Mika\“{e} 我哈姆扎、贾德、昆卡、维克多，title={{递归树到字符串函数的示例主动合成}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={19:1--19:30}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.19},URN＝{URN:nbn:de:00030-drops-72575}，doi={10.4230/LIPIcs.ECOOP.2017.19}，annote={关键词：示例编程、主动学习、程序综合}}

摘要

引用为

Darya Melicher、Yangqingwei Shi、Alex Potanin和Jonathan Aldrich。基于能力的权限控制模块系统。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第20:1-20:27页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{melicher_et_al:LIPIcs.ECOOP.2017.20，作者={Melicher、Darya和Shi、杨庆伟和Potanin、Alex和Aldrich、Jonathan}，title={{基于能力的权限控制模块系统}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={20:1--20:27}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积＝{74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.20},URN={URN:nbn:de:0030-drops-72709}，doi={10.4230/LIPIcs.ECOOP.2017.20}，annote={关键词：基于语言的安全性、功能、权限、模块}}

摘要

引用为

托马斯·彼得里切克。通过点驱动开发进行数据探索。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第21:1-21:27页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{petricek:LIPIcs.ECOOP.2017.21，author={Petricek，Tomas}，title={{通过点驱动开发进行数据探索}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，pages={21:1-21:27}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.21},URN={URN:nbn:de:0030-drops-72610}，doi={10.4230/LIPIcs.ECOOP.2017.21}，annote={关键词：数据科学，类型提供程序，透视表，聚合}}

摘要

引用为

安东·波德科帕耶夫（Anton Podkopaev）、奥里·拉哈夫（Ori Lahav）和维克托·瓦菲亚迪斯（Viktor Vafeiadis）。对ARMv8 POP有希望的编译。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第22:1-22:28页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{podkopaev_et_al:LIPIcs.ECOOP.2017.22，author={Podkopaev、Anton和Lahav、Ori和Vafeiadis、Viktor}，title={{ARMv8 POP}}有希望编译，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={22:1--22:28}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器=｛M\”{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.22},URN={URN:nbn:de:0030-drops-72667}，doi={10.4230/LIPIcs.ECOOP.2017.22}，annote={关键词：ARM，编译正确性，弱内存模型}}

摘要

引用为

Baptiste Saleil和Marc Feeley。高阶动态语言的跨过程专业化，无需静态分析。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第23:1-23:23页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{saleil_et_al:LIPIcs.ECOOP.2017.23，author={Saleil，Baptiste和Feeley，Marc}，title={{无静态分析的高阶动态语言的跨过程专业化}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页码={23:1--23:23}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积＝{74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.23},URN={URN:nbn:de:0030-drops-72711}，doi={10.4230/LIPIcs.ECOOP.2017.23}，annote={关键词：实时编译、过程间优化、动态语言、高阶函数、Scheme}}

摘要

引用为

阿尔切斯特·斯卡拉斯（Alceste Scalas）、奥内拉·达达（Ornela Dardha）、雷蒙德·胡（Raymond Hu）和吉田信子（Nobuko Yoshida）。安全分布式编程中多方会话的线性分解。第31届欧洲面向对象编程会议（ECOOP 2017）。《莱布尼茨国际信息学论文集》，第74卷，第24:1-24:31页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2017）

@会议记录{scalas_et_al:LIPIcs.ECOOP.2017.24，author={Scalas、Alcester和Dardha、Ornela和Hu、Raymond和Yoshida、Nobuko}，title={{安全分布式编程多方会话的线性分解}}，booktitle＝{第31届面向对象编程欧洲会议（ECOOP 2017）}，页数={24:1--24:31}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.24},URN={URN:nbn:de:0030-drops-72637}，doi={10.4230/LIPIcs.ECOOP.2017.24}，annote={关键词：进程计算，会话类型，并发编程，Scala}}

摘要

引用为

昆汀·斯蒂文纳特（Quentin Stiévenart）、延斯·尼古拉（Jens Nicolay）、沃尔夫冈·德梅特（Wolfgang De Meuter）和科恩·德鲁弗（Coen De Roover）。演员程序静态分析的邮箱抽象。在第31届面向对象编程欧洲会议（ECOOP 2017）上。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第25:1-25:30页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）

@会议记录{stievenart_et_al:LIPIcs.ECOOP.2017.25，author={Sti\'{e} 维纳特、昆廷和尼古拉、延斯和德梅特、沃尔夫冈和德鲁弗、科恩}、，title={{演员程序静态分析的邮箱抽象}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={25:1--25:30}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.25},URN={URN:nbn:de:0030-drops-72541}，doi={10.4230/LIPIcs.ECOOP.2017.25}，annote={关键词：静态分析、抽象、抽象解释、参与者、邮箱}}

摘要

引用为

Michael Vollmer、Sarah Spall、Buddhika Chamith、Laith Sakka、Chaitanya Koparkar、Milind Kulkarni、Sam Tobin-Hochstadt和Ryan R.Newton。编译树变换以对打包表示进行操作。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第26:1-26:29页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2017）

@在诉讼中{vollmer_et_al:LIPIcs.ECOOP.2017.26，author={Vollmer、Michael和Spall、Sarah和Chamith、Buddhika和Sakka、Laith和Koparkar、Chaitanya和Kulkarni、Milind和Tobin-Hochstadt、Sam和Newton、Ryan R.}，title={{编译树转换以操作压缩表示}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={26:1--26:29}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.26},URN={URN:nbn:de:0030-drops-72737}，doi={10.4230/LIPIcs.ECOOP.2017.26}，annote={关键词：编译器优化，程序转换，树遍历}}

摘要

引用为

王飞和蒂亚克·隆普夫。依赖对象类型（DOT）的强规范化。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第27:1-27:25页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2017）

@在诉讼中{wang_et_al:LIPIcs.ECOOP.2017.27，author={Wang，Fei和Rompf，Tiark}，title={{依赖对象类型（DOT）的强规范化}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页码＝{27:1-27:25}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.27},URN={URN:nbn:de:0030-drops-72763}，doi={10.4230/LIPIcs.ECOOP.2017.27}，annote={关键词：Scala，DOT，强规范化，逻辑关系，递归类型}}

摘要

引用为

杰克·威廉姆斯（Jack Williams）、杰克·加勒特·莫里斯（J.Garrett Morris）、菲利普·沃德勒（Philip Wadler）和贾库布·扎勒夫斯基（Jakub Zalewski）。混合消息：测量TypeScript中的一致性和非干扰。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第28:1-28:29页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2017）

@会议记录{williams_et_al:LIPIcs.ECOOP.2017.28，作者={Williams，Jack和Morris，J.Garrett和Wadler，Philip和Zalewski，Jakub}，title={{混合消息：测量TypeScript}}中的一致性和不干扰，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={28:1--28:29}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.28},URN={URN:nbn:de:0030-drops-72640}，doi={10.4230/LIPIcs.ECOOP.2017.28}，annote={关键词：渐进式键入，TypeScript，JavaScript，代理}}

摘要

引用为

张维新（Weixin Zhang）和布鲁诺（Bruno C.d.S.Oliveira）。EVF：一个用于编程语言重用的可扩展和表达的访问者框架。在第31届面向对象编程欧洲会议（ECOOP 2017）上。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第29:1-29:32页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2017）

@会议记录{zhang_et_al:LIPIcs.ECOOP.2017.29，作者={张，魏欣和奥利维拉，布鲁诺·C.d.S.}，title={{EVF:用于编程语言重用的可扩展和表达的访问者框架}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={29:1--29:32}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.29},URN={URN:nbn:de:0030-drops-72749}，doi={10.4230/LIPIcs.ECOOP.2017.29}，annote={关键词：访问者模式、对象代数、模块化、领域特定语言}}

摘要

引用为

郑宇迪（Yudi Zheng）、卢博米尔·布勒（Lubomír Bulej）和沃尔特·宾德（Walter Binder）。Graal编译器反优化的实证研究。第31届欧洲面向对象编程会议（ECOOP 2017）。莱布尼茨国际信息学论文集（LIPIcs），第74卷，第30:1-30:30页，达格斯图尔-莱布尼兹-泽特鲁姆信息技术学院（2017）

@会议记录{zheng_et_al:LIPIcs.ECOOP.2017.30，作者={Zheng，Yudi and Bulej，Lubom{'\i}r and Binder，Walter}，title={{Graal编译器反优化的实证研究}}，booktitle={第31届欧洲面向对象编程会议（ECOOP 2017）}，页数={30:1--30:30}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-035-4}，ISSN={1868-8969}，年份={2017年}，体积={74}，编辑器={M\“{u} 勒尔，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.30},URN={URN:nbn:de:0030-drops-72583}，doi={10.4230/LIPIcs.ECOOP.2017.30}，annote={关键词：动态编译器，profile-guided优化，去优化}}