LIPIcs，第32卷
第一届程序设计语言进步峰会（SNAPL 2015）
-
部分： 系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 程序设计语言进展峰会
出版物详细信息
发布时间：2015-04-30 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik 国际标准化组织：978-3-939897-80-4 DBLP： db/conf/snapl/snapl2015
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
LIPIcs，第32卷，SNAPL’15，完整卷
摘要
引用为
@会议记录{ball_et_al:LIPIcs.SNAPL.2015， title={{LIPIcs，第32卷，SNAPL'15，完整卷}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015 }, URN={URN:nbn:de:0030-drops-50461}， doi={10.4230/LIPIcs.SNAPL.2015}， annote={关键词：编程语言} }
标题、目录、前言、作者列表
摘要
引用为
@会议记录{ball_et_al:LIPIcs.SNAPL.2015.i， author={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， title＝{标题，目录，序言，作者列表}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页面={i--xiv}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.SNAPL.2015.i }, URN={URN:nbn:de:0030-drops-50119}， doi={10.4230/LIPIcs.SNAPL.2015.i}， annote={关键词：标题、目录、前言、作者列表} }
用于局部管理的耦合存储器和计算
摘要
引用为
@会议记录{acar_et_al:LIPIcs.SNAPL.2015.1， author={Acar，Umut A.和Blelloch，Guy和Fluet，Matthew和Muller，Stefan K.和Raghunathan，Ram}， title={{用于位置管理的耦合内存和计算}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={1--14}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.SNAPL.2015.1 }, URN={URN:nbn:de:0030-drops-50121}， doi={10.4230/LIPIcs.SNAPL.2015.1}， annote={关键词：并行计算，局部性，内存管理，并行垃圾收集，函数编程，嵌套并行，线程调度} }
多语言世界的验证编译器
摘要
引用为
@诉讼中{ahmed:LIPIcs.SNAPL.2015.15， 作者={Ahmed，Amal}， title={{多语言世界的验证编译器}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={15--31}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.15 }, URN={URN:nbn:de:0030-drops-50131}， doi={10.4230/LIPIcs.SNAPL.2015.15}， annote={关键词：验证编译、组合编译器正确性、多语言语义、类型化低级语言、渐进式类型} }
为硬件设计开发软件语言
摘要
引用为
@会议记录{auerbach_et_al:LIPIcs.SNAPL.2015.32， author={奥尔巴赫、约书亚和培根、大卫·F·和成、佩里和芬克、斯蒂芬·J·和拉巴、罗德里克和舒克拉、苏尼尔}， title={{为硬件设计开发软件语言}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={32--40}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.32 }, URN={URN:nbn:de:0030-drops-50144}， doi={10.4230/LIPIcs.SNAPL.2015.32}， annote={关键词：异构系统，FPGA，高级综合，数据流，函数编程，流，Java} }
用“大代码”编程：教训、技巧和应用
摘要
引用为
@会议记录{bielik_et_al:LIPIcs.SNAPL.2015.41， author={Bielik、Pavol和Raychev、Veselin和Vechev、Martin}， title={{用“大代码”编程：课程、技术和应用}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={41--50}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.41 }, URN={URN:nbn:de:0030-drops-50152}， doi={10.4230/LIPIcs.SNAPL.2015.41}， annote={关键词：概率工具，概率推理和学习，程序分析，开源软件} }
通过综合缩小通用编译器和领域特定编译器之间的差距
摘要
引用为
@会议记录{cheung_et_al:LIPIcs.SNAPL.2015.51， author={Cheung、Alvin和Kamil、Shoaib和Solar-Lezama、Armando}， title={{通过综合跨越通用编译器和领域特定编译器之间的鸿沟}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={51--62}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.51 }, URN={URN:nbn:de:0030-drops-50162}， doi={10.4230/LIPIcs.SNAPL.2015.51}， annote={关键词：编译器，领域特定语言，程序合成，交叉编译，验证} }
Yedalog：大规模探索知识
摘要
引用为
@会议记录{chin_et_al:LIPIcs.SNAPL.2015.63， 作者={Chin、Brian和von Dincklage、Daniel和Ercegovac、Vuk和Hawkins、Peter和Miller、Mark S.和Och、Franz和Olston、Christopher和Pereira、Fernando}， title={{Yedalog:探索大规模知识}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={63--78}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.63 }, URN={URN:nbn:de:0030-drops-50172}， doi={10.4230/LIPIcs.SNAPL.2015.63}， annote={Keywords:Datalog，MapReduce} }
Terra的设计：利用高级和低级语言的最佳特性
摘要
引用为
@会议记录{devito_et_al:LIPIcs.SNAPL.2015.79， author={德维托、扎卡里和汉拉罕、帕特}， title={{Terra的设计：利用高级和低级语言的最佳特性}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={79--89}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.79 }, URN={URN:nbn:de:0030-drops-50186}， doi={10.4230/LIPIcs.SNAPL.2015.79}， annote={关键词：语言互操作性，元编程，高性能，Lua} }
容错分布式系统对语言支持的需求
摘要
引用为
@在诉讼中{dragoi_et_al:LIPIcs.SNAPL.2015.90， 作者={德拉戈伊、塞扎拉和亨廷格、托马斯A.和祖弗里、达米安}， title={{容错分布式系统对语言支持的需求}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={90--102}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.90 }, URN={URN:nbn:de:0030-drops-50192}， doi={10.4230/LIPIcs.SNAPL.2015.90}， annote={关键词：编程语言，容错分布式算法，自动验证} }
放射治疗系统的可靠性案例语言和工作流
摘要
引用为
@会议记录{ernst_et_al:LIPIcs.SNAPL.2015.103， 作者＝{Ernst，Michael D.和Grossman，Dan和Jacky，Jon和Loncaric，Calvin和Pernsteiner，Stuart和Tatlock，Zachary和Torlak，Emina和Wang，Xi}， title＝{{辐射治疗系统的可靠性案例语言和工作流程}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={103--112}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.03 }, URN={URN:nbn:de:0030-drops-50208}， doi={10.4230/LIPIcs.SNAPL.2015.103}， annote={关键词：合成、证明助理、验证、可靠性案例、领域特定语言、放射治疗} }
支架宣言
摘要
引用为
@会议记录{felleisen_et_al:LIPIcs.SNAPL.2015.113， author={Felleisen、Matthias和Findler、Robert Bruce和Flatt、Matthew和Krishnamurthi、Shriram和Barzilay、Eli和McCarthy、Jay和Tobin-Hochstadt、Sam}， title={{The Racket Manifesto}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={113--128}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.113 }, URN={URN:nbn:de:0030-drops-50211}， doi={10.4230/LIPIcs.SNAPL.2015.113}， annote={关键词：设计指南，语言生成，全谱语言} }
理论AB工具箱
摘要
引用为
@会议记录{gaboardi_et_al:LIPIcs.SNAPL.2015.129， author={Gaboardi，Marco和Hsu，Justin}， title={理论AB工具箱}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={129--139}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份＝{2015}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.29 }, URN={URN:nbn:de:0030-drops-50225}， doi={10.4230/LIPIcs.SNAPL.2015.129}， annote={关键词：验证，随机算法} }
通过编程语言文献追踪思想流
摘要
引用为
@会议记录{greenberg_et_al:LIPIcs.SNAPL.2015.140， author={Greenberg，Michael and Fisher，Kathleen and Walker，David}， title={{通过编程语言文献追踪思想流}}， booktitle＝{第一届编程语言进步峰会（SNAPL 2015）}， 页数={140--155}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.140 }, URN={URN:nbn:de:0030-drops-50232}， doi={10.4230/LIPIcs.SNAPL.2015.140}， annote={关键词：编程语言文献，主题模型，反讽} }
InterPoll：众包网络民意调查
摘要
引用为
@在诉讼程序中{livshits_et_al:LIPIcs.SNAPL.2015.156， author={Livshits，Benjamin和Mytkowicz，Todd}， title={{InterPoll:Crowd-Sourced Internet Polls}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={156--176}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.56 }, URN={URN:nbn:de:0030-drops-50242}， doi={10.4230/LIPIcs.SNAPL.2015.156}， annote={关键词：群组寻源、轮询、LINQ} }
无声移动的分号
摘要
引用为
@会议记录{marino_et_al:LIPIcs.SNAPL.2015.177， author={Marino、Daniel和Millstein、Todd和Musuvathi、Madanlal和Narayanasamy、Satish和Singh、Abhayendra}， title＝{无声移位的分号}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={177--189}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.177 }, URN={URN:nbn:de:0030-drops-50259}， doi={10.4230/LIPIcs.SNAPL.2015.177}， annote={关键词：内存一致性模型；顺序一致性；安全编程语言；数据竞争} }
关于基于指针的检查您想知道的一切
摘要
引用为
@会议记录{nagarakatte_et_al:LIPIcs.SNAPL.2015.190， 作者＝{Nagarakatte，Santosh和Martin，Milo M.K.和Zdancewic，Steve}， title={{你想知道的关于基于指针的检查的一切}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={190--208}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.190 }, URN={URN:nbn:de:0030-drops-50268}， doi={10.4230/LIPIcs.SNAPL.2015.190}， annote={关键词：内存安全，缓冲区溢出，悬空指针，基于指针的检查，SoftBoundCETS} }
网络验证的新方向
摘要
引用为
@会议记录{panda_et_al:LIPIcs.SNAPL.2015.2009， 作者＝{Panda，Aurojit和Argyraki，Katerina和Sagiv，Mooly和Schapira，Michael和Shenker，Scott}， title={{网络验证的新方向}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={209--220}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.2009 }, URN={URN:nbn:de:0030-drops-50278}， doi={10.4230/LIPIcs.SNAPL.2015.209}， annote={关键词：中间件、网络验证、可变数据平面} }
Mezzo项目的几点经验教训
摘要
引用为
@会议记录{pottier_et_al:LIPIcs.SNAPL.2015.221， author={Pottier，Francois和Protzenko，Jonathan}， title＝{夹层项目的几点教训}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={221--237}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.221 }, URN={URN:nbn:de:0030-drops-50281}， doi={10.4230/LIPIcs.SNAPL.2015.221}， annote={关键词：静态类型系统，副作用，别名，所有权} }
去Meta！ 性能关键系统中的生成程序设计和DSL案例
摘要
引用为
@会议记录{rompf_et_al:LIPIcs.SNAPL.2015.238， author={Rompf、Tiark和Brown、Kevin J.和Lee、HyoukJoong和Sujeeth、Arvind K.和Jonnalagedda、Manohar和Amin、Nada和Ofenbeck、Georg和Stojanov、Alen和Klonatos、Yannis和Dashti、Mohammad和Koch、Christoph和P\“ {u} 白银 ，Markus和Olukotun，Kunle}， title={{Go Meta！性能关键系统中的生成性编程和DSL案例}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={238--261}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.238 }, URN={URN:nbn:de:0030-drops-50295}， doi={10.4230/LIPIcs.SNAPL.2015.238}， annote={关键词：性能，生成性编程，暂存，DSL} }
软硬件协同设计：不仅仅是Cliché
摘要
引用为
@会议记录{sampson_et_al:LIPIcs.SNAPL.2015.262， author={桑普森、阿德里安和博恩霍尔特、詹姆斯和塞兹、路易斯}， title={{硬件-软件协同设计：不仅仅是一个Clich\'{e}}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页码={262--273}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.262 }, URN={URN:nbn:de:0030-drops-50301}， doi={10.4230/LIPIcs.SNAPL.2015.262}， annote={关键词：近似、协同设计、架构、验证} }
逐步键入的改进标准
摘要
引用为
@会议记录{siek_et_al:LIPIcs.SNAPL.2015.274， author={Siek、Jeremy G.和Vitousek、Michael M.和Cimini、Matteo和Boyland、John Tang}， title={{逐步键入的细化标准}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={274--293}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.274 }, URN={URN:nbn:de:0030-drops-50312}， doi={10.4230/LIPIcs.SNAPL.2015.274}， annote={关键词：渐变类型，类型系统，语义，动态语言} }
一个、一个、多个——有什么区别吗？
摘要
引用为
@《美国诉讼汇编》{steimann:LIPIcs.SNAPL.2015.294， 作者={斯特曼，弗里德里希}， title={{None，One，Many-有什么区别吗？}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={294--308}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.294 }, URN={URN:nbn:de:0030-drops-50329}， doi={10.4230/LIPIcs.SNAPL.2015.294}， annote={关键字：对象、集合、关系、指针、多重性、null} }
对指责的补充
摘要
引用为
@会议记录{wadler:LIPIcs.SNAPL.2015.309， author={Wadler，Philip}， title={{责任的补充}}， booktitle＝{第一届编程语言进步峰会（SNAPL 2015）}， 页数={309--320}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.309 }, URN={URN:nbn:de:0030-drops-50333}， doi={10.4230/LIPIcs.SNAPL.2015.309}， annote={关键词：契约、渐变类型、混合类型、责备演算} }
排水沼泽：微型虚拟机是语言发展的坚实基础
摘要
引用为
@会议记录{wang_et_al:LIPIcs.SNAPL.2015.321， author={王、昆山和林、易和布莱克本、史蒂芬·M·和诺里什、迈克尔和霍斯金、安东尼·L·}， title={{排空沼泽：微型虚拟机作为语言开发的坚实基础}}， booktitle={第一届编程语言进步峰会（SNAPL 2015）}， 页数={321--336}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-939897-80-4}， ISSN={1868-8969}， 年份={2015年}， 体积={32}， editor={Ball、Thomas和Bodiík、Rastislav和Krishnamurthi、Shriram和Lerner、Benjamin S.和Morriset、Greg}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.321 }, URN={URN:nbn:de:0030-drops-50341}， doi={10.4230/LIPIcs.SNAPL.2015.321}， annote={关键词：虚拟机，并发，即时编译，垃圾收集} }