DARTS，第3卷，第2期
第31届欧洲面向对象编程会议特刊（ECOOP 2017）
-
部分： 体积： DARTS，第3卷（ECOOP 2017）
会议： 欧洲面向对象编程会议
日志： 达格斯图尔人工制品系列（DARTS）
出版物详细信息
发布时间：2017-06-20 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/期刊/省道/省道3
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
前沿事务-ECOOP 2017人工制品、目录、前言、人工制品评估委员会
摘要
引用为
@文章{haller_et_al:DARTS.3.2.0， author={Haller、Philipp和Pradel、Michael和van der Storm、Tijs}， title={{前文-ECOOP 2017作品，目录，前言，作品评估委员会}}， 页面={0:i--0:xii}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={Haller、Philipp和Pradel、Michael和van der Storm、Tijs}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.0 }, URN={URN:nbn:de:0030-drops-72813}， doi={10.4230/DARTS.3.2.0}， annote={关键词：前沿问题-ECOOP 2017工件，目录，前言，工件评估委员会} }
冰尘2：衍生的双向关系和计算策略组成（人工制品）
摘要
引用为
@第{harkes_et_al:DARTS.3.2.1条， author={Harkes，Daco C.和Visser，Eelco}， title={{IceDust 2:派生的双向关系和计算策略组合（工件）}}， 页数={1:1--1:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积＝{3}， 数字={2}， editor={Harkes，Daco C.和Visser，Eelco}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.1 }, URN={URN:nbn:de:0030-drops-72826}， doi＝{10.4230/DARTS.3.2}， annote={关键词：增量计算，数据建模，领域特定语言} }
基于能力的权限控制模块系统（工件）
摘要
引用为
@第{melicher_et_al:DARTS.3.2.2条， 作者={Melicher、Darya和Shi、杨庆伟和Potanin、Alex和Aldrich、Jonathan}， title={{基于能力的权限控制模块系统（工件）}}， pages＝{2:1--2:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={Melicher、Darya和Shi、杨庆伟和Potanin、Alex和Aldrich、Jonathan}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.2 }, URN={URN:nbn:de:0030-drops-72838}， doi={10.4230/DARTS.3.2.2.}， annote={关键词：基于语言的安全性、功能、权限、模块} }
安全分布式编程（工件）中多方会话的线性分解
摘要
引用为
@第{scalas_et_al:DARTS.3.2.3条， 作者＝{Scalas，Alceste和Dardha，Ornela和Hu，Raymond和Yoshida，Nobuko}， title={{安全分布式编程多方会话的线性分解（工件）}}， 页数={3:1--3:3}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={Scalas、Alceste和Dardha、Ornela和Hu、Raymond和Yoshida、Nobuko}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.3 }, URN={URN:nbn:de:0030-drops-72847}， doi={10.4230/DARTS.3.2.3}， annote={关键词：进程计算，会话类型，并发编程，Scala} }
时间链接的并发数据结构（工件）
摘要
引用为
@第{条delbianco_et_al:DARTS.3.2.4， author={Delbianco，德语\' {a} n个 安德 {e} 秒 谢尔盖、伊利亚、纳内夫斯基、阿列克桑达尔、班纳吉、安妮迪亚， title={{时间链接的并发数据结构（工件）}}， 页数={4:1--4:4}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字＝{2}， editor={Delbianco，德语\' {a} n个 安德烈 {e} 秒 谢尔盖、伊利亚、纳内夫斯基、阿列克桑达尔、班纳吉、安妮迪亚， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.4 }, URN={URN:nbn:de:0030-drops-72850}， doi={10.4230/DARTS.3.2.4}， annote={关键词：分离逻辑，线性化点，并发快照，FCSL} }
依赖对象类型（DOT）的强规范化（工件）
摘要
引用为
@第{wang_et_al:DARTS.3.2.5条， author={Wang，Fei和Rompf，Tiark}， title＝{{对依赖对象类型（DOT）的强规范化（伪影）}}， 页数={5:1--5:3}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={Wang，Fei和Rompf，Tiark}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.5 }, URN={URN:nbn:de:0030-drops-72869}， doi={10.4230/DARTS.3.2.5}， annote={关键词：Scala，DOT，强规范化，逻辑关系，递归类型} }
野生契约：Java程序研究（工件）
摘要
引用为
@第{dietrich_et_al:DARTS.3.2.6条， author={Dietrich、Jens和Pearce、David J.和Jezek、Kamil和Brada、Premek}， title={{野生契约：Java程序研究（工件）}}， 页码＝{6:1-6:4}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， 编辑＝{Dietrich，Jens和Pearce，David J.和Jezek，Kamil和Brada，Premek}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.6 }, URN={URN:nbn:de:0030-drops-72871}， doi={10.4230/DARTS.3.2.6}， annote={关键词：验证，按合同设计，断言，前提条件，后置条件，运行时检查，java，输入验证} }
将Julia与非侵入DSL并行（工件）
摘要
引用为
@第{anderson_et_al:DARTS.3.2.7条， author={安德森、托德A.和刘、海和库珀、林赛和托托尼、埃桑和维泰克、简和施佩斯曼、塔蒂亚娜}， title={{将Julia与非侵入DSL（工件）并行}}， 页数={7:1--7:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={安德森、托德·A和刘、海和库珀、林赛和托托尼、埃桑和维泰克、简和施佩斯曼、塔蒂亚娜}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.7 }, URN={URN:nbn:de:0030-drops-72888}， doi={10.4230/DARTS.3.2.7}， annote={关键词：并行、科学计算、领域特定语言、Julia} }
混合消息：测量TypeScript中的一致性和不干扰性（工件）
摘要
引用为
@文章{williams_t_al:DARTS.3.2.8， author={威廉姆斯、杰克和莫里斯、J.加勒特和沃德勒、菲利普和扎勒夫斯基、雅库布}， title={{混合消息：在TypeScript（工件）}}中测量一致性和不干涉， 页数={8:1--8:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={威廉姆斯、杰克和莫里斯、J.加勒特和沃德勒、菲利普和扎勒夫斯基、雅库布}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.8 }, URN={URN:nbn:de:0030-drops-72899}， doi={10.4230/DARTS.3.2.8}， annote={关键词：渐进式键入，TypeScript，JavaScript，代理} }
松弛无干扰（伪影）的类型抽象
摘要
引用为
@第{cruz_et_al:DARTS.3.2.9条， author={Cruz、Raimil和Rezk、Tamara和Serpette、Bernard和Tanter {E} 里克 }, title={{松弛非干涉（工件）的类型抽象}}， 页数={9:1--9:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={Cruz、Raimil和Rezk、Tamara和Serpette、Bernard和Tanter {E} 里克 }, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.9 }, URN={URN:nbn:de:0030-drops-72902}， doi={10.4230/DARTS.3.2.9}， annote={关键词：类型抽象，放松的无干扰，信息流控制} }
EVF：用于编程语言重用（工件）的可扩展和表达的访问者框架
摘要
引用为
@第{zhang_et_al:DARTS.3.2.10条， 作者={张，魏欣和奥利维拉，布鲁诺·C.d.S.}， title={{EVF:用于编程语言重用（工件）}}的可扩展和表达的访问者框架， 页数={10:1--10:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={张，魏欣和奥利维拉，布鲁诺·C.d.S.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.10 }, URN={URN:nbn:de:0030-drops-72918}， doi={10.4230/DARTS.3.2.10}， annote={关键词：访问者模式、对象代数、模块化、领域特定语言} }
演员程序静态分析的邮箱抽象（工件）
摘要
引用为
@第{stievenart_et_al:DARTS.3.2.11条， author={Sti\' {e} 维纳斯 、昆廷和尼古拉、延斯和德梅特、沃尔夫冈和德鲁弗、科恩}、， title={{演员程序静态分析的邮箱抽象（工件）}}， 页数={11:1--11:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={Sti\' {e} 维纳斯 、昆廷和尼古拉、延斯和德梅特、沃尔夫冈和德鲁弗、科恩}、， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.11 }, URN={URN:nbn:de:0030-drops-72920}， doi={10.4230/DARTS.3.2.11}， annote={关键词：静态分析、抽象、抽象解释、参与者、邮箱} }
通过点驱动开发进行数据探索（人工制品）
摘要
引用为
@第{条petricek:DARTS.3.2.12， author={Petricek，Tomas}， title={{通过点驱动开发（工件）进行数据探索}}， 页数={12:1--12:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={Petricek，Tomas}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.12 }, URN={URN:nbn:de:0030-drops-72936}， doi={10.4230/DARTS.3.2.12}， annote={关键词：数据科学，类型提供程序，透视表，聚合} }
邪恶泡菜：基于对象图形工程的DoS攻击（人工制品）
摘要
引用为
@第{dietrich_et_al:DARTS.3.2.13条， author={Dietrich、Jens和Jezek、Kamil和Rasheed、Shawn和Tahir、Amjed和Potanin、Alex}， title={{Evil Pickles:DoS攻击基于对象图形工程（工件）}}， 页码={13:1--13:3}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={Dietrich、Jens和Jezek、Kamil和Rasheed、Shawn和Tahir、Amjed和Potanin、Alex}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.13 }, URN={URN:nbn:de:0030-drops-72944}， doi={10.4230/DARTS.3.2.13}， annote={关键词：序列化、拒绝服务、服务降级、Java、C#、JavaScript、Ruby、漏洞、库设计、集合库} }
无静态分析的高阶动态语言跨过程专业化（工件）
摘要
引用为
@第{saleil_et_al:DARTS.3.2.14条， author={Saleil，Baptiste和Feeley，Marc}， title＝{无静态分析的高阶动态语言的跨过程专业化（Artifact）}}， 页数={14:1--14:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={Saleil，Baptiste和Feeley，Marc}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.14 }, URN={URN:nbn:de:0030-drops-72952}， doi={10.4230/DARTS.3.2.14}， annote={关键词：实时编译，过程间优化，动态语言，高阶函数，scheme} }
弱记忆的强逻辑：虹膜（人工制品）中释放-获得一致性的推理
摘要
引用为
@第{kaiser_et_al:DARTS.3.2.15条， author={Kaiser、Jan-Oliver和Dang、Hoang-Hai和Dreyer、Derek和Lahav、Ori和Vafeiadis、Viktor}， title={{弱记忆的强逻辑：关于虹膜（人工制品）中释放获得一致性的推理}}， pages＝{15:1-15:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积={3}， 数字={2}， editor={凯撒、詹·奥利弗和丹、黄海和德雷尔、德里克和拉哈夫、奥里和瓦菲亚迪斯、维克托}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.15 }, URN＝{URN:nbn:de:00030-drops-72966}， doi={10.4230/DARTS.3.2.15}， annote={关键词：弱内存模型，发布获取，并发，分离逻辑} }
递归树到字符串函数的示例主动合成（工件）
摘要
引用为
@第{mayer_et_al:DARTS.3.2.16条， author={Mayer，Mika\“ {e} 我 哈姆扎、贾德、昆卡、维克多， title={{示例递归树到字符串函数的主动合成（工件）}}， 页数={16:1--16:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2017年}， 体积＝{3}， 数字={2}， editor={Mayer，Mika\“ {e} 我 哈姆扎、贾德、昆卡、维克多， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.16 }, URN={URN:nbn:de:0030-drops-72970}， doi={10.4230/DARTS.3.2.16}， annote={关键词：示例编程、主动学习、程序综合} }