第29届欧洲面向对象编程会议（ECOOP 2015）

摘要

引用为

第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{boyland:LIPIcs.ECOOP.2015，title={{LIPIcs，第37卷，ECOOP'15，完整卷}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015},URN＝{URN:nbn:de:00030-drops-52737}，doi={10.4230/LIPIcs.ECOOP.2015}，annote={Keywords:面向对象编程}}

摘要

引用为

第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第i-xviii页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@论文集{boyland:LIPIcs.ECOOP.2015.i，author={Boyland，John Tang}，title={{前言、目录、前言、工件、会议组织}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，pages＝{i-xvii}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2015.i},URN＝{URN:nbn:de:00030-drops-52463}，doi={10.4230/LIPIcs.ECOOP.2015.i}，注释={关键词：前言、目录、前言、工件、会议组织}}

摘要

引用为

本贾尼·斯特劳斯特卢普。无继承的面向对象编程（邀请谈话）。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第1页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{stroustrup:LIPIcs.ECOOP.2015.1，author={Stroustrup，Bjarne}，title={{无继承的面向对象编程}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={1--1}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，编辑＝{Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2015.1},URN={URN:nbn:de:0030-drops-52129}，doi={10.4230/LIPIcs.ECOOP.2015.1}，annote={关键词：面向对象，通用编程，多态性，概念，封装}}

摘要

引用为

Jong-Deok Choi。物联网大规模编程（邀请谈话）。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第2页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{choi:LIPIcs.ECOOP.2015.2，author={Choi，Jong-Deok}，title={{物联网大规模编程}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={2--2}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积＝{37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2015.2},URN={URN:nbn:de:0030-drops-52132}，doi={10.4230/LIPIcs.ECOOP.2015.2}，annote={关键词：软件开发方法论、软件体系结构、编程模型、软件工程、物联网}}

摘要

引用为

亚历山大·萨默斯。软件验证“跨堆栈”（受邀演讲）。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第3页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{夏季：LIPIcs.ECOOP.2015.3，author={萨默斯，亚历山大J.}，title={{软件验证“跨堆栈”}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={3--3}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积＝{37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2015.3},URN={URN:nbn:de:0030-drops-52141}，doi={10.4230/LIPIcs.ECOOP.2015.3}，annote={关键词：软件验证、程序逻辑、自动验证器、程序正确性、SMT求解器}}

摘要

引用为

Asumu Takikawa、Daniel Feltey、Earl Dean、Matthew Flatt、Robert Bruce Findler、Sam Tobin-Hochstadt和Matthias Felleisen。走向实用的渐进式打字。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第4-27页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2015）

@会议记录{takikawa_et_al:LIPIcs.ECOOP.2015.4，author={Takikawa、Asumu和Feltey、Daniel和Dean、Earl和Flatt、Matthew和Findler、Robert Bruce和Tobin-Hochstadt、Sam和Felleisen、Matthias}，title={{走向实用渐变打字}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={4--27}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.4},URN={URN:nbn:de:0030-drops-52156}，doi={10.4230/LIPIcs.ECOOP.2015.4}，annote={关键词：渐进式键入，面向对象编程，性能评估}}

摘要

引用为

马蒂亚斯·基尔和彼得·蒂曼。TreatJS：JavaScripts的高阶合同。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第28-51页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{keil_et_al:LIPIcs.ECOOP.2015.28，author={Keil、Matthias和Thiemann、Peter}，title={{TreatJS:JavaScripts}}的高阶合同，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={28--51}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.28},URN={URN:nbn:de:0030-drops-52164}，doi={10.4230/LIPIcs.ECOOP.2015.28}，annote={Keywords:高级合同、JavaScript、代理}}

摘要

引用为

Panagiotis Vekris、Benjamin Cosman和Ranjit Jhala。信任，但验证：动态语言的两阶段键入。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第52-75页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{vekris_et_al:LIPIcs.ECOOP.2015.52，author={Vekris、Panagiotis和Cosman、Benjamin和Jhala、Ranjit}，title={{信任，但验证：动态语言的两阶段键入}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={52--75}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.52},URN＝{URN:nbn:de:00030-drops-52173}，doi={10.4230/LIPIcs.ECOOP.2015.52}，annote={关键词：动态语言，类型系统，精化类型，交集类型，重载}}

摘要

引用为

Gregor Richards、Francesco Zappa Nardelli和Jan Vitek。TypeScript的具体类型。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第76-100页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{richards_et_al:LIPIcs.ECOOP.2015.76，author={Richards，Gregor和Zappa Nardelli，Francesco和Vitek，Jan}，title={{TypeScript}}的具体类型，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={76--100}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.76},URN={URN:nbn:de:0030-drops-52185}，doi={10.4230/LIPIcs.ECOOP.2015.76}，annote={关键词：渐进式键入，动态语言}}

摘要

引用为

马克西姆·谢瓦利·博伊斯维特和马克·费利。通过惰性基本块版本控制简单有效地删除类型检查。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第101-123页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{chevalierboivert_et_al:LIPIcs.ECOOP.2015.01，author={谢瓦利尔·博伊斯维特（Chevalier-Boisvert）、马克西姆（Maxime）和费利（Feeley）、马克（Marc}），title={{通过惰性基本块版本控制删除简单有效的类型检查}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={101--123}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积＝{37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2015.101}，URN={URN:nbn:de:0030-drops-52196}，doi={10.4230/LIPIcs.ECOOP.2015.101}，annote＝｛关键词：实时编译、动态优化、类型检查、代码生成、JavaScript｝}

摘要

引用为

阿比拉什·班达里（Abhilash Bhandari）和V.Krishna Nandivada。出现异常时的循环平铺。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第124-148页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{bhandari_et_al:LIPIcs.ECOOP.2015.124，作者＝{Bhandari，Abhilash和Nandivada，V.Krishna}，title={{出现异常时的循环平铺}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={124--148}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积＝{37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.124},URN={URN:nbn:de:0030-drops-52202}，doi={10.4230/LIPIcs.ECOOP.2015.124}，annote={Keywords:编译器优化、语义保留、异常、循环}}

摘要

引用为

马提亚斯·基尔（Matthias Keil）、桑哈·纳拉扬·古里亚（Sankha Narayan Guria）、安德烈亚斯·施莱格尔（Andreas Schlegel）、曼努埃尔·杰夫肯（Manuel Geffken）和彼得·蒂曼（Peter Thiemann）。JavaScript中的透明对象代理。第29届欧洲面向对象编程会议（ECOOP 2015）。《莱布尼茨国际信息学论文集》，第37卷，第149-173页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2015）

@会议记录{keil_et_al:LIPIcs.ECOOP.2015.149，作者={Keil、Matthias和Guria、Sankha Narayan和Schlegel、Andreas和Geffken、Manuel和Thiemann、Peter}，title={{JavaScript}}中的透明对象代理，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页码＝{149-173}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.149},URN={URN:nbn:de:0030-drops-52299}，doi={10.4230/LIPIcs.ECOOP.2015.149}，annote={关键词：JavaScript、代理、相等、合同}}

摘要

引用为

Joseph Lee、Jonathan Aldrich、Troy Shaw和Alex Potanin。标记对象理论。第29届欧洲面向对象编程会议（ECOOP 2015）。《莱布尼茨国际信息学论文集》，第37卷，第174-197页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2015）

@会议记录{lee_et_al：LIPIcs.ECOOP.2015.174，author={Lee、Joseph和Aldrich、Jonathan和Shaw、Troy和Potanin、Alex}，title={{标记对象理论}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，pages＝{174-197}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.174},URN={URN:nbn:de:0030-drops-52305}，doi={10.4230/LIPIcs.ECOOP.2015.174}，annote={关键词：对象、类、标记、标称和结构类型}}

摘要

引用为

蒂莫西·琼斯、迈克尔·霍默和詹姆斯·诺布尔。用于标称输入的品牌对象。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第198-221页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{jones_et_al:LIPIcs.ECOOP.2015.198，作者＝{Jones，Timothy和Homer，Michael和Noble，James}，title={{名词性打字的品牌对象}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={198--221}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积＝{37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.198},URN={URN:nbn:de:0030-drops-52314}，doi={10.4230/LIPIcs.ECOOP.2015.198}，annote={关键词：品牌、类型、结构、名义、格雷斯}}

摘要

引用为

保琳娜·森托泽、马可·皮斯托亚和奥马尔·特里普。在受试者在场的情况下进行访问权限分析。在第29届面向对象编程欧洲会议（ECOOP 2015）上。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第222-246页，达格斯图尔-莱布尼兹-中央信息学院（2015）

@会议记录{centonze_et_al:LIPIcs.ECOOP.2015.222，author={Centonze、Paolina和Pistoia、Marco和Tripp、Omer}，title={{主体在场时的访问权限分析}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={222--246}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.222},URN={URN:nbn:de:0030-drops-52249}，doi={10.4230/LIPIcs.ECOOP.2015.222}，annote={关键词：静态分析、安全性、访问控制}}

摘要

引用为

Aleksandar S.Dimovski、Claus Brabrand和Andrzej Wasowski。易变性抽象：基于家族分析的速度交易精度。在第29届面向对象编程欧洲会议（ECOOP 2015）上。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第247-270页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{dimovski_et_al:LIPIcs.ECOOP.2015.247，author={Dimovski，Aleksandar S.和Brabrand，Claus和Wasowski，Andrzej}，title={{可变抽象：基于家族分析的速度交易精度}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={247--270}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.247},URN={URN:nbn:de:0030-drops-52253}，doi={10.4230/LIPIcs.ECOOP.2015.247}，annote={关键词：软件产品线，基于系列的程序分析，抽象解释}}

摘要

引用为

文森特·圣穆尔和郭树友。JavaScript优化指导。第29届欧洲面向对象编程会议（ECOOP 2015）。《莱布尼茨国际信息学论文集》，第37卷，第271-295页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2015）

@会议记录{stamour_et_al:LIPIcs.ECOOP.2015.271，author={St-Amour，Vincent和Guo，Shu-yu}，title={{JavaScript}}优化指导，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={271--295}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.271},URN＝{URN:nbn:de:00030-drops-52260}，doi={10.4230/LIPIcs.ECOOP.2015.271}，annote={关键词：优化指导，JavaScript，性能工具}}

摘要

引用为

陆芳、梁斗、徐国庆。PerfBlower：通过放大快速检测与内存相关的性能问题。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第296-320页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2015）

@会议记录{fang_et_al:LIPIcs.ECOOP.2015.296，author={方、鲁、窦、梁、徐、国庆}，title={{PerfBlower:通过放大}}快速检测与内存相关的性能问题，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数＝{296-320}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.296},URN={URN:nbn:de:0030-drops-52278}，doi={10.4230/LIPIcs.ECOOP.2015.296}，annote={关键词：性能错误、内存问题、托管语言、垃圾收集\}}}

摘要

引用为

Saba Alimadadi、Ali Mesbah和Karthik Pattabiraman。JavaScript的混合DOM-Sensitive更改影响分析。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第321-345页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{alimadadi_et_al:LIPIcs.ECOOP.2015.321，author={Alimadadi、Saba和Mesbah、Ali和Pattabiraman、Karthik}，title={{JavaScript}}的混合DOM-Sensitive更改影响分析，booktitle＝{第29届面向对象编程欧洲会议（ECOOP 2015）}，页码={321--345}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.321},URN={URN:nbn:de:0030-drops-52280}，doi={10.4230/LIPIcs.ECOOP.2015.321}，annote={关键词：更改影响分析，JavaScript，混合分析}}

摘要

引用为

Yuheng Long、Yu David Liu和Hridesh Rajan。内涵效应多态性。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第346-370页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{long_et_al:LIPIcs.ECOOP.2015.346，作者={Long，Yuheng and Liu，Yu David and Rajan，Hridesh}，title={{内涵效应多态}}，booktitle＝{第29届面向对象编程欧洲会议（ECOOP 2015）}，页数={346--370}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.346},URN={URN:nbn:de:0030-drops-52213}，doi={10.4230/LIPIcs.ECOOP.2015.346}，annote={关键词：内涵效应多态性，类型系统，混合类型}}

摘要

引用为

利亚兹·哈克（Riyaz Haque）和延斯·帕尔斯伯格（Jens Palsberg），《宜居物体的类型推断》。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第371-395页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{haque_et_al:LIPIcs.ECOOP.2015.371，author={Haque，Riyaz和Palsberg，Jens}，title={{Place-Olivious对象的类型推断}}，booktitle＝{第29届面向对象编程欧洲会议（ECOOP 2015）}，页数={371--395}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.371},URN={URN:nbn:de:0030-drops-52223}，doi={10.4230/LIPIcs.ECOOP.2015.371}，annote={关键词：并行性，局部性，类型}}

摘要

引用为

约翰内斯·克鲁斯（Johannes Kloos）、鲁帕克·马朱姆达尔（Rupak Majumdar）和维克托·瓦菲亚迪斯（Viktor Vafeiadis）。异步液体分离类型。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第396-420页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{kloos_et_al:LIPIcs.ECOOP.2015.396，作者＝{Kloos，Johannes和Majumdar，Rupak和Vafeiadis，Viktor}，title={{异步液体分离类型}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={396--420}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.396},URN={URN:nbn:de:0030-drops-52233}，doi={10.4230/LIPIcs.ECOOP.2015.396}，annote={关键词：液体类型，异步并行，分离逻辑，类型系统}}

摘要

引用为

Shams Imam和Vivek Sarkar。用于推测性任务并行性的Eureka编程模型。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第421-444页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{imam_et_al:LIPIcs.ECOOP.2015.421，author={Imam、Shams和Sarkar、Vivek}，title={{The Eureka Programming Model for Speculative Task Parallelism}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={421--444}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.421},URN={URN:nbn:de:0030-drops-52327}，doi={10.4230/LIPIcs.ECOOP.2015.421}，annote={关键词：异步完成模型，带分隔符的继续符，Eureka模型，并行编程，推测并行性，任务取消，任务终止}}

摘要

引用为

古斯塔沃·佩特里（Gustavo Petri）、扬·维泰克（Jan Vitek）和苏雷什·贾加纳森（Suresh Jagannathan）。烹饪书籍：正式化JMM实现食谱。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第445-469页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{petri_et_al:LIPIcs.ECOOP.2015.445，author={Petri、Gustavo和Vitek、Jan和Jagannathan、Suresh}，title={{写书：形式化JMM实现方法}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页码={445--469}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.445},URN={URN:nbn:de:0030-drops-52334}，doi={10.4230/LIPIcs.ECOOP.2015.445}，annote={关键词：并发，Java，内存模型，松弛内存}}

摘要

引用为

Brijesh Dongol、John Derrick、Lindsay Groves和Graeme Smith。定义多核体系结构中并发对象的正确性条件。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第470-494页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{dongol_et_al:LIPIcs.ECOOP.2015.470，author={Dongol、Brijesh和Derrick、John和Groves、Lindsay和Smith、Graeme}，title={{定义多核架构中并发对象的正确性条件}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={470--494}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.470},URN={URN:nbn:de:0030-drops-52348}，doi={10.4230/LIPIcs.ECOOP.2015.470}，annote={关键词：并发对象，正确性，松弛内存，验证}}

摘要

引用为

弗拉维奥·梅德罗斯（Flávio Medeiros）、克里斯蒂安·卡斯特纳（Christian Kästner）、马尔西奥·里贝罗（Márcio Ribeiro）、莎拉·纳迪（Sarah Nadi）和罗希特·盖伊（Rohit Gheyi）。与C预处理器的爱/恨关系：一项访谈研究。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第495-518页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{medeiros_et_al:LIPIcs.ECOOP.2015.495，author={Medeiros，F1{a} 维奥和K\“{a} 斯特纳克里斯蒂安和里贝罗{a} rcio公司还有纳迪、莎拉、盖伊、罗希特，title={{与C预处理器的爱/恨关系：访谈研究}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={495--518}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.495},URN＝{URN:nbn:de:00030-drops-52350}，doi={10.4230/LIPIcs.ECOOP.2015.495}，annote={关键词：C预处理器、CPP、访谈、调查和扎根理论}}

摘要

引用为

Michael Pradel和Koushik Sen.好、坏和丑：JavaScript中隐式类型转换的实证研究。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第519-541页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2015）

@会议记录{pradel_et_al:LIPIcs.ECOOP.2015.519，author={Pradel、Michael和Sen、Koushik}，title={{好的、坏的和丑的：JavaScript中隐式类型转换的实证研究}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={519--541}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，编辑＝{Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.519},URN={URN:nbn:de:0030-drops-52367}，doi={10.4230/LIPIcs.ECOOP.2015.519}，annote={关键词：类型，类型强制，JavaScript，动态类型语言}}

摘要

引用为

Avraham Shinnar、Jéróme Siméon和Martin Hirzel。规则语言的模式演算：表达性、编译和机械化。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第542-567页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{shinnar_et_al:LIPIcs.ECOOP.2015.542，作者=｛Shinnar、Avraham和Sim\'{e} 上的，J\'{e} 第页\^{o} 我和Martin Hirzel，title＝{规则语言的模式演算：表达性、编译和机械化}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={542--567}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.542},URN={URN:nbn:de:0030-drops-52374}，doi={10.4230/LIPIcs.ECOOP.2015.542}，annote={关键词：规则，模式匹配，聚合，嵌套查询，机械化}}

摘要

引用为

塞巴斯蒂安·伯克哈特（Sebastian Burckhardt）、达安·莱扬（Daan Leijen）、乔纳森·普罗琴科（Jonathan Protzenko）和曼努埃尔·芬德里奇（Manuel Fähndrich）。全局序列协议：复制共享状态的稳健抽象。在第29届面向对象编程欧洲会议（ECOOP 2015）上。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第568-590页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{burckhardt_et_al:LIPIcs.ECOOP.2015.568，author={伯克哈特、塞巴斯蒂安和莱扬、达安和普罗琴科、乔纳森和F“{a} hndrich公司，曼努埃尔}，title={{全局序列协议：复制共享状态的稳健抽象}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={568--590}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积＝{37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.568},URN={URN:nbn:de:0030-drops-52385}，doi={10.4230/LIPIcs.ECOOP.2015.568}，annote={关键词：分布式计算，最终一致性，GSP协议}}

摘要

引用为

阿格洛斯·比布迪斯（Aggelos Biboudis）、尼克·帕拉迪诺斯（Nick Palladinos）、乔治·福图尼斯（George Fourtounis）和亚尼斯·斯马拉格达基斯（Yannis Smaragdakis）。流式点菜：带对象代数的可扩展管道。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第591-613页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{biboudis_et_al:LIPIcs.ECOOP.2015.591，author={Biboudis、Aggelos和Palladinos、Nick和Fourtounis、George和Smaragdakis、Yannis}，title={{Streams a la carte:使用对象代数的可扩展管道}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页码={591--613}，series={Leibniz国际信息学论文集（LIPIcs）}，ISBN＝{978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.591},URN={URN:nbn:de:0030-drops-52392}，doi={10.4230/LIPIcs.ECOOP.2015.591}，annote={关键词：对象代数、流、可扩展性、领域特定语言、表达式问题、库设计}}

摘要

引用为

马尔特·施沃尔霍夫（Malte Schwerhoff）和亚历山大·萨默斯（Alexander J.Summers）。自动验证器中对魔杖的轻量级支持。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第614-638页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2015）

@会议记录{schwerhoff_et_al:LIPIcs.ECOOP.2015.614，作者={Schwerhoff，Malte and Summers，Alexander J.}，title={{自动验证器中魔术棒的轻量级支持}}，booktitle＝{第29届面向对象编程欧洲会议（ECOOP 2015）}，页数={614--638}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.614},URN={URN:nbn:de:0030-drops-52408}，doi={10.4230/LIPIcs.ECOOP.2015.614}，annote={关键词：魔杖，软件验证，自动验证程序，分离逻辑，隐式动态框架}}

摘要

引用为

蓬图斯·博斯特罗姆和彼得·米勒。非终止程序中有限块的模块化验证。第29届欧洲面向对象编程会议（ECOOP 2015）。《莱布尼茨国际信息学论文集》，第37卷，第639-663页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2015）

@会议记录{bostrom_et_al:LIPIcs.ECOOP.2015.639，author={Bostr\“{o} 米、Pontus和M\“{u} 勒尔，Peter}，title={{非终止程序中有限块的模块化验证}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={639--663}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.639},URN={URN:nbn:de:0030-drops-52416}，doi={10.4230/LIPIcs.ECOOP.2015.639}，annote={关键词：程序验证、并发性、活动性、进度、义务}}

摘要

引用为

Bart Jacobs、Dragan Bosnacki和Ruurd Kuiper。模块化终端验证。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第664-688页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2015）

@会议记录{jacobs_et_al:LIPIcs.ECOOP.2015.664，author={雅各布斯、巴特和博斯纳奇、德拉甘和柯伊伯、鲁德}，title={{模块化终端验证}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={664--688}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.664},URN={URN:nbn:de:0030-drops-52422}，doi={10.4230/LIPIcs.ECOOP.2015.664}，annote={关键词：终止、程序验证、模块验证、分离逻辑、良好的关系}}

摘要

引用为

David Hauzar和Jan Kofron。PHP应用程序静态分析框架。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第689-711页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2015）

@会议记录{hauzar_et_al:LIPIcs.ECOOP.2015.689，author={Hauzar，David和Kofron，Jan}，title={{PHP应用程序静态分析框架}}，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={689--711}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.689},URN={URN:nbn:de:0030-drops-52435}，doi={10.4230/LIPIcs.ECOOP.2015.689}，annote={关键词：静态分析、抽象解释、动态语言、PHP、安全}}

摘要

引用为

魏世毅（Shiyi Wei）和芭芭拉·赖德（Barbara G.Ryder）。JavaScript自适应上下文敏感分析。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第712-734页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2015）

@会议记录{wei_et_al:LIPIcs.ECOOP.2015.712，作者={Wei，Shiyi and Ryder，Barbara G.}，title={{JavaScript}}的自适应上下文敏感分析，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={712--734}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.712},URN={URN:nbn:de:0030-drops-52446}，doi={10.4230/LIPIcs.ECOOP.2015.712}，annote={关键词：上下文敏感、JavaScript、静态程序分析}}

摘要

引用为

昌河公园和苏京琉。通过循环敏感性对JavaScript应用程序进行可扩展和精确的静态分析。第29届欧洲面向对象编程会议（ECOOP 2015）。莱布尼茨国际信息学论文集（LIPIcs），第37卷，第735-756页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2015）

@会议记录{park_et_al:LIPIcs.ECOOP.2015.735，author={Park，Changhee和Ryu，Sukyoung}，title={{通过循环敏感度}}对JavaScript应用程序进行可伸缩和精确的静态分析，booktitle={第29届欧洲面向对象编程会议（ECOOP 2015）}，页数={735--756}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-86-6}，ISSN={1868-8969}，年份={2015年}，体积={37}，editor={Boyland，John Tang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.735},URN={URN:nbn:de:0030-drops-52458}，doi={10.4230/LIPIcs.ECOOP.2015.735}，annote={关键词：JavaScript，静态分析，循环}}