DARTS，第1卷，第1期
第29届欧洲面向对象编程会议专刊（ECOOP 2015）
-
部分： 体积： DARTS，第1卷（ECOOP 2015）
会议： 欧洲面向对象编程会议
日志： 达格斯图尔人工制品系列（DARTS）
出版物详细信息
发布时间：2016-07-20 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： db/期刊/省道/省道1
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
封面，目录
摘要
引用为
@第{demetrescu_et_al:DARTS.1.1.0条， 作者＝{德米特里斯库，卡米尔和弗拉特，马修}， title={{正文，目录}}， 页面={0:i--0:vi}， journal={Dagstuhl人工制品系列}， ISSN={2509-8195}， 年份={2016年}， 体积={1}， 数字={1}， editor={德米特里斯库，卡米尔和弗拉特，马修}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.0 }, URN={URN:nbn:de:0030-drops-61407}， doi={10.4230/DARTS.1.1.0}， annote={关键词：正文，目录} }
TreatJS:JavaScript的高阶合同（工件）
摘要
引用为
@第{keil_et_al:DARTS.1.1.1条， author={Keil、Matthias和Thiemann、Peter}， title＝{{TreatJS:JavaScript的高阶合约（工件）}}， 页数={1:1--1:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， editor={Keil，Matthias和Thiemann，Peter}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.1 }, URN={URN:nbn:de:0030-drops-55105}， doi={10.4230/DARTS.1.1.1}， annote={Keywords:高级合同、JavaScript、代理} }
JavaScript的透明对象代理（工件）
摘要
引用为
@第{keil_et_al:DARTS.1.1.2条， 作者＝{Keil，Matthias和Guria，Sankha Narayan和Schlegel，Andreas和Geffken，Manuel和Thiemann，Peter}， title={{JavaScript透明对象代理（工件）}}， 页数={2:1--2:2}， journal={Dagstuhl人工制品系列}， ISSN={2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， editor={Keil、Matthias和Guria、Sankha Narayan和Schlegel、Andreas和Geffken、Manuel和Thiemann、Peter}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.2 }, URN={URN:nbn:de:0030-drops-55114}， doi={10.4230/DARTS.1.1.2}， annote={关键词：JavaScript、代理、相等、合同} }
标记对象理论（人工制品）
摘要
引用为
@第{lee_et_al条：DARTS.1.1.3， 作者＝{Lee，Joseph和Aldrich，Jonathan和Shaw，Troy和Potanin，Alex和Chung，Benjamin}， title={{标记对象理论（工件）}}， 页码＝{3:1-3:3}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2015年}， 体积＝{1}， 数字={1}， editor={Lee、Joseph和Aldrich、Jonathan和Shaw、Troy和Potanin、Alex和Chung、Benjamin}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.3 }, URN={URN:nbn:de:0030-drops-55121}， doi={10.4230/DARTS.1.1.3}， annote={关键词：对象、类、标记、标称和结构类型} }
用于标称打印的品牌对象（人工制品）
摘要
引用为
@第{jones_et_al:DARTS.1.1.4条， author={琼斯、蒂莫西和荷马、迈克尔和诺布尔、詹姆斯}， title={{用于标称类型（工件）的品牌对象}}， 页码＝{4:1-4:2}， journal={Dagstuhl手工艺品系列}， ISSN＝{2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， 编辑={琼斯、蒂莫西和荷马、迈克尔和诺布尔、詹姆斯}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS1.1.4 }, URN={URN:nbn:de:0030-drops-55134}， doi={10.4230/DARTS.1.1.4}， annote={关键词：品牌、类型、结构、名义、格雷斯} }
JavaScript优化指导（工件）
摘要
引用为
@第{stamour_et_al:DARTS.1.1.5条， author={St-Amour，Vincent和Guo，Shu-yu}， title={{JavaScript优化指导（工件）}}， pages={5:1-5:2}， journal={Dagstuhl手工艺品系列}， ISSN＝{2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， editor={St-Amour，Vincent和Guo，Shu-yu}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.5 }, URN={URN:nbn:de:0030-drops-55146}， doi={10.4230/DARTS.1.1.5}， annote={关键词：优化指导，JavaScript，性能工具} }
推测性任务并行性的Eureka编程模型（工件）
摘要
引用为
@第{imam_et_al:DARTS.1.1.6条， author={Imam、Shams和Sarkar、Vivek}， title＝{{推测性任务并行性的尤里卡编程模型（Artifact）}}， 页数={6:1--6:2}， journal={Dagstuhl人工制品系列}， ISSN={2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， 编辑＝{伊玛目，沙姆斯和萨卡，维韦克}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.6 }, URN={URN:nbn:de:0030-drops-55157}， doi={10.4230/DARTS.1.1.6}， annote={关键词：异步完成模型，带分隔符的继续符，Eureka模型，并行编程，推测并行性，任务取消，任务终止} }
与C预处理器的爱/恨关系：访谈研究（人工制品）
摘要
引用为
@第{条medeiros_et_al:DARTS.1.1.7， author={Medeiros，F1 {a} 维奥 和K\“ {a} 斯特纳 克里斯蒂安和里贝罗 {a} rcio公司 还有纳迪、莎拉、盖伊、罗希特， title={{与C预处理器的爱/恨关系：访谈研究（工件）}}， 页数={7:1--7:32}， journal={Dagstuhl手工艺品系列}， ISSN＝{2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， editor={Medeiros，F1 {a} 维奥 和K\“ {a} 斯特纳 克里斯蒂安和里贝罗 {a} rcio公司 还有纳迪、莎拉、盖伊、罗希特， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.7 }, URN={URN:nbn:de:0030-drops-55162}， doi={10.4230/DARTS.1.1.7}， annote={关键词：C预处理器、CPP、访谈、调查和扎根理论} }
规则语言的模式演算：表达性、编译和机械化（人工制品）
摘要
引用为
@第{shinnar_et_al:DARTS.1.1.8条， author={Shinnar、Avraham和Sim\' {e} 上的 ，J\' {e} 第页 \^ {o} 我 和Martin Hirzel， title={{规则语言的模式演算：表达性、编译和机械化（工件）}}， 页数={8:1--8:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， editor={Shinnar、Avraham和Sim\' {e} 上的 ，J\' {e} 第页 \^ {o} 我 和Martin Hirzel， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.8 }, URN={URN:nbn:de:0030-drops-55179}， doi＝{10.4230/DARTS1.1.8}， annote={关键词：规则，模式匹配，聚合，嵌套查询，机械化} }
流点菜：带对象代数的可扩展流水线（工件）
摘要
引用为
@第{biboudis_et_al:DARTS.1.1.9条， 作者＝{Biboudis，Aggelos和Palladinos，Nick和Fourtounis，George和Smaragdakis，Yannis}， title={{Streams\`{a}la-carte:带对象代数的可扩展管道（工件）}}， 页数={9:1--9:2}， journal={Dagstuhl人工制品系列}， ISSN={2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， editor={Biboudis、Aggelos和Palladinos、Nick和Fourtounis、George和Smaragdakis、Yannis}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.9 }, URN={URN:nbn:de:0030-drops-55189}， doi={10.4230/DARTS.1.1.9}， annote={关键词：对象代数、流、可扩展性、领域特定语言、表达式问题、库设计} }
自动验证器中对魔杖的轻量级支持（工件）
摘要
引用为
@文章{schwerhoff_t_al:DARTS.1.1.10， 作者={Schwerhoff，Malte and Summers，Alexander J.}， title＝{在自动验证程序（工件）中对魔杖的轻量级支持}}， 页数={10:1--10:2}， journal={Dagstuhl手工艺品系列}， ISSN＝{2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， editor={Schwerhoff，Malte和Summers，Alexander J.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.10 }, URN={URN:nbn:de:0030-drops-55192}， doi={10.4230/DARTS.1.110}， annote={关键词：魔杖，软件验证，自动验证程序，分离逻辑，隐式动态框架} }
PHP应用程序静态分析框架（工件）
摘要
引用为
@第{hauzar_et_al:DARTS1.1.11条， 作者＝{Hauzar，David和Kofron，Jan}， title={{PHP应用程序静态分析框架（工件）}}， 页数={11:1--11:2}， journal={Dagstuhl人工制品系列}， ISSN={2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， editor={Hauzar，David和Kofron，Jan}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.11 }, URN={URN:nbn:de:0030-drops-55208}， doi={10.4230/DARTS.1.1.11}， annote={关键词：静态分析、抽象解释、动态语言、PHP、安全} }
通过循环敏感性（工件）对JavaScript应用程序进行可扩展和精确的静态分析
摘要
引用为
@第{park_et_al:DARTS1.1.12条， author={Park，Changhee和Ryu，Sukyoung}， title={{通过循环敏感度（工件）}}对JavaScript应用程序进行可伸缩和精确的静态分析， pages＝{12:1-12:2}， journal={Dagstuhl手工艺品系列}， ISSN＝{2509-8195}， 年份={2015年}， 体积={1}， 数字={1}， editor={Park，Changhee and Ryu，Sukyoung}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DARS.1.1.12 }, URN={URN:nbn:de:0030-drops-55216}， doi={10.4230/DARTS.1.112}， annote={关键词：JavaScript，静态分析，循环} }