DARTS，第4卷，第3期
第32届欧洲面向对象编程会议专刊（ECOOP 2018）
-
部分： 体积： DARTS，第4卷（ECOOP 2018）
会议： 欧洲面向对象编程会议
日志： 达格斯图尔人工制品系列（DARTS）
出版物详细信息
发布时间：2018-07-05 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/日志/省道/省道4
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
前沿事务-ECOOP 2018人工制品、目录、前言、人工制品评估委员会
摘要
引用为
@文章{christakis_et_al:DARTS.4.3.0， author={Christakis，Maria and Haller，Philipp and Rapoport，Marianna and Rapoport，Marianna}， title={{前件事-ECOOP 2018工艺品，目录，前言，工艺品评估委员会}}， pages＝{0:i-0:xii}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2018年}， 体积={4}， 数字={3}， editor={Christakis，Maria and Haller，Philipp and Rapoport，Marianna and Rapoport，Marianna}编辑， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.30 }, URN={URN:nbn:de:0030-drops-92327}， doi={10.4230/DARTS.4.30}， annote={关键词：前沿问题-ECOOP 2018工件，目录，前言，工件评估委员会} }
基于类的可变对象的依赖类型（工件）
摘要
引用为
@文章{campos_et_al:DARTS.4.3.1， author={Campos、Joana和Vasconcelos、Vasco T.}， title={{基于类的可变对象的依赖类型（工件）}}， 页数={1:1--1:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2018年}， 体积＝{4}， 数字={3}， editor={Campos，Joana和Vasconcelos，Vasco T.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.1 }, URN={URN:nbn:de:0030-drops-92337}， doi={10.4230/DARTS.4.3.1}， annote={关键词：依赖类型，索引细化，可变对象，类型系统} }
Legato：动态配置更新应用程序的即时分析（工件）
摘要
引用为
@文章{toman_et_al:DARTS.4.3.2， author={托曼、约翰和格罗斯曼、丹}， title={{Legato:动态配置更新应用程序的即时分析（工件）}}， 页数={2:1--2:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2018年}， 体积={4}， 数字＝{3}， editor={托曼、约翰和格罗斯曼、丹}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.2 }, URN={URN:nbn:de:0030-drops-92342}， doi={10.4230/DARTS.4.3.2.}， annote={关键词：静态分析，动态配置更新} }
接口中复杂存在约束的静态类型（工件）
摘要
引用为
@第{oostvogels_et_al:DARTS.4.3.3条， author={Oostvogels、Nathalie和De Koster、Joeri和De-Meuter、Wolfgang}， title＝{{接口中复杂存在约束的静态类型化（工件）}}， 页数={3:1--3:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2018年}， 体积={4}， 数字={3}， editor={Oostvogels、Nathalie和De Koster、Joeri和De-Meuter、Wolfgang}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.3 }, URN={URN:nbn:de:0030-drops-92422}， doi={10.4230/DARTS.4.3.3}， annote={关键词：类型系统，接口，依赖逻辑} }
上下文工作流：用于可补偿和可中断执行（工件）的单子DSL
摘要
引用为
@第{inoue_et_al:DARTS.4.3.4条， author={井上、平崎和青谷由纪夫、通谷由纪子和井原、Atsushi}， title={{ContextWorkflow:用于可补偿和可中断执行（工件）}}的一元DSL， 页数={4:1--4:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份＝{2018}， 体积={4}， 数字={3}， editor={Inoue、Hiroaki和Aotani、Tomoyuki和Igarashi、Atsushi}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.4 }, URN={URN:nbn:de:0030-drops-92356}， doi={10.4230/DARTS.4.3.4}， annote={关键词：工作流，异步异常，检查点，monad，嵌入式领域特定语言} }
嵌套构图的本质（人工制品）
摘要
引用为
@第{bi_et_al:DARTS.4.3.5条， 作者={Bi、Xuan和Oliveira、Bruno C.d.S.和Schrijvers、Tom}， title={{嵌套合成（工件）的本质}}， 页数={5:1--5:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份＝{2018}， 体积={4}， 数字={3}， editor={Bi、Xuan和Oliveira、Bruno C.d.S.和Schrijvers、Tom}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.5 }, URN={URN:nbn:de:0030-drops-92363}， doi={10.4230/DARTS.4.3.5}， annote={关键词：嵌套组合，家族多态性，交叉类型，连贯性} }
CrySL：验证加密API（工件）正确使用的可扩展方法
摘要
引用为
@文章{kruger_et_al:DARTS.4.3.6， author={Kr“ {u} 蒙古 、Stefan和Sp\“ {a} 第个 、约翰内斯和阿里、卡里姆和博登、埃里克和梅齐尼、米拉}、， title={{CrySL:验证加密API（工件）正确用法的可扩展方法}}， 页数={6:1--6:4}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2018年}， 体积={4}， 数字＝{3}， 编辑器={Kr“ {u} 蒙古 、Stefan和Sp\“ {a} 第个 、约翰内斯和阿里、卡里姆和博登、埃里克和梅齐尼、米拉}、， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.6 }, URN={URN:nbn:de:0030-drops-92371}， doi={10.4230/DARTS.4.3.6}， annote={关键词：密码学，领域特定语言，静态分析} }
确定参考变异性（工件）
摘要
引用为
@文章{milanova_et_al:DARTS.4.3.7， author={Milanova，Ana和Huang，Wei}， title={{确定引用可变性（工件）}}， 页数={7:1--7:3}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2018年}， 体积={4}， 数字={3}， editor={Milanova，Ana和Huang，Wei}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.7 }, URN={URN:nbn:de:0030-drops-92382}， doi={10.4230/DARTS.4.3.7}， annote={关键词：引用不变性，类型推断，CFL-reachability} }
检测Node.js库中破坏性更改的类型回归测试（工件）
摘要
引用为
@第{mezzetti_et_al:DARTS.4.3.8条， author={Mezzetti、Gianluca和M{\o}ller、Anders和Torp、Martin Toldam}， title={{类型回归测试检测Node.js库中的中断更改（工件）}}， 页数={8:1--8:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2018年}， 体积={4}， 数字={3}， 编辑＝{Mezzetti，Gianluca和M｛\o｝ller，Anders和Torp，Martin Toldam}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.8 }, URN={URN:nbn:de:0030-drops-92394}， doi={10.4230/DARTS.4.3.8}， annote={关键词：JavaScript、语义版本控制、动态分析} }
键入的一级特征（工件）
摘要
引用为
@第{bi_et_al:DARTS.4.3.9条， 作者={Bi，Xuan and Oliveira，Bruno C.d.S.}， title＝｛｛类型化的第一类特征（工件）｝｝， 页数={9:1--9:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2018年}， 体积={4}， 数字={3}， editor={Bi，Xuan和Oliveira，Bruno C.d.S.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.9 }, URN={URN:nbn:de:0030-drops-92407}， doi={10.4230/DARTS.4.3.9}， annote={关键词：特性，可扩展设计} }
KafKa:对象的渐变类型（工件）
摘要
引用为
@第{chung_et_al:DARTS.4.3.10条， author={Chung，Benjamin and Li，Paley and Nardelli，Francesco Zappa and Vitek，Jan}， title={{KafKa:对象（工件）}}的渐进式键入， 页数={10:1--10:3}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2018年}， 体积={4}， 数字={3}， editor={Chung，Benjamin and Li，Paley and Nardelli，Francesco Zappa and Vitek，Jan}，编辑， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.10 }, URN={URN:nbn:de:0030-drops-92411}， doi={10.4230/DARTS.4.3.10}， annote={关键词：渐进式键入、面向对象、语言设计、类型系统} }