@会议记录{donaldson:LIPIcs.ECOOP.2019, title={{LIPIcs,第134卷,ECOOP'19,完整卷}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019 }, URN={URN:nbn:de:0030-drops-108979}, doi={10.4230/LIPIcs.ECOOP.2019}, annote={关键词:软件及其工程} }
@会议记录{donaldson:LIPIcs.ECOOP.2019.0, author={Donaldson,Alastair F.}, title={{正文,目录,前言,会议组织}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页面={0:i--0:xxv}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2019.0 }, URN={URN:nbn:de:0030-drops-107928}, doi={10.4230/LPIcs.ECOP.2019.0}, 注释={关键词:前言、目录、前言、会议组织} }
@会议记录{meier_et_al:LIPIcs.ECOOP.2019.1, author={Meier、Shawn和Mover、Sergio和Chang、Bor-Yuh Evan}, title={{Lifestate:事件驱动协议和回调控制流}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={1:1--1:29}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LPIcs.ECOP.2019.1下载 }, URN={URN:nbn:de:00030-drops-107932}, doi={10.4230/LIPIcs.ECOOP.2019.1}, annote={关键词:事件驱动系统、应用程序编程协议、应用程序框架接口、回调、声音框架建模、预测动态验证} }
@会议记录{fernandezreyes_et_al:LIPIcs.ECOOP.2019.2, author={Fernandez-Reyes、Kiko和Clarke、Dave和Henrio、Ludovic和Johnsen、Einar Broch和Wrigstad、Tobias}, title={{Godot:隐式和显式期货的所有好处}}, booktitle={第33届面向对象编程欧洲会议(ECOOP 2019)}, 页数={2:1--2:28}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2019.2 }, URN={URN:nbn:de:00030-drops-107949}, doi={10.4230/LIPIcs.ECOOP.2019.2}, annote={关键词:未来、并发、类型系统、形式语义} }
@在《议事录》{weisenber_et_al:LIPIcs.ECOP.2019.3中, author={Weisenburger,Pascal和Salvaneschi,Guido}, title={{多层模块}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={3:1--3:29}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2019.3 }, URN={URN:nbn:de:0030-drops-107957}, doi={10.4230/LIPIcs.ECOOP.2019.3}, annote={关键词:分布式编程,多层编程,抽象对等类型,布局类型,模块系统,Scala} }
@会议记录{vergu_et_al:LIPIcs.ECOOP.2019.4, author={Vergu、Vlad和Tolmach、Andrew和Visser、Eelco}, title={{范围和框架改进元解释者专业化}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={4:1--4:30}, series={Leibniz国际信息学论文集(LIPIcs)}, ISBN={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2019.4 }, URN={URN:nbn:de:0030-drops-107969}, doi={10.4230/LIPIcs.ECOOP.2019.4}, annote={关键词:定义解释程序,部分求值} }
@会议记录{roberts_et_al:LIPIcs.ECOOP.2019.5, author={Roberts、Richard和Marr、Stefan和Homer、Michael和Noble、James}, title={{临时类型检查(几乎)免费}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={5:1--5:28}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2019.5 }, URN={URN:nbn:de:0030-drops-107974}, doi={10.4230/LIPIcs.ECOOP.2019.5}, annote={关键词:动态类型检查,渐变类型,可选类型,Grace,Moth,面向对象编程} }
@在诉讼中{demaijnckhughes_et_al:LIPIcs.ECOP.2019.6, author={de Muijnck-Hughes,Jan和Vanderbauwhede,Wim}, title={{硬件接口的打字规则}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={6:1--6:27}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2019.6}, URN={URN:nbn:de:0030-drops-107983}, doi={10.4230/LIPIcs.ECOOP.2019.6}, annote={关键词:芯片上系统、AXI、依赖类型、子结构类型} }
@会议记录{misonizhnik_et_al:LIPIcs.ECOOP.2019.7, author={Misonizhnik,Aleksandr和Mordvinov,Dmitry}, title={{关于带方差的标称子类型的可满足性}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页码={7:1-7:20}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.7 }, URN={URN:nbn:de:0030-drops-107997}, doi={10.4230/LIPIcs.ECOOP.2019.7}, annote={关键词:标称类型系统,结构子类型,一阶逻辑,可判定性,软件验证} }
@会议记录{sotiropoulos_et_al:LIPIcs.ECOOP.2019.8, author={Sotiropoulos、Thodoris和Livshits,本杰明}, title={{异步JavaScript程序的静态分析}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={8:1--8:29}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.8 }, URN={URN:nbn:de:0030-drops-108007}, doi={10.4230/LIPIcs.ECOOP.2019.8}, annote={关键词:静态分析,异步,JavaScript} }
@会议记录{watt_et_al:LIPIcs.ECOOP.2019.9, 作者={Watt,Conrad和Maksimovi,Petar和Krishnaswami,Neelakantan R.和Gardner,Philippa}, title={{一阶封装WebAssembly}}的程序逻辑, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={9:1--9:30}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.9 }, URN={URN:nbn:de:0030-drops-108011}, doi={10.4230/LIPIcs.ECOOP.2019.9}, annote={关键词:WebAssembly,程序逻辑,分离逻辑,可靠性,机械化} }
@会议记录{vanes_et_al:LIPIcs.ECOOP.2019.10, author={Van Es、Noah和Sti {e} 维纳斯 、昆廷和德鲁弗、科恩}、, title={{通过抽象引用计数进行无垃圾抽象解释}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={10:1--10:33}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.10 }, URN={URN:nbn:de:0030-drops-108022}, doi={10.4230/LIPIcs.ECOOP.2019.10}, annote={关键词:抽象解释,抽象垃圾收集,引用计数} }
@会议记录{bastani_et_al:LIPIcs.ECOOP.2019.11, author={Bastani、Osbert和Sharma、Rahul和Clapp、Lazaro和Anand、Saswat和Aiken,Alex}, title={{最终声音指向-使用规范进行分析}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={11:1--11:28}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.11 }, URN={URN:nbn:de:0030-drops-108038}, doi={10.4230/LPIcs.ECOP.2019.11}, annote={关键词:规范推理、静态分析点、运行时监控} }
@会议记录{eichholz_et_al:LIPIcs.ECOOP.2019.12, author={Eichholz、Matthias和Campbell、Eric和Foster、Nate和Salvaneschi、Guido和Mezini、Mira}, title={{如何避免犯十亿美元的错误:使用SafeP4}}进行类型安全的数据平面编程, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={12:1--12:28}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, 编辑={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.12 }, URN={URN:nbn:de:0030-drops-108041}, doi={10.4230/LIPIcs.ECOOP.2019.12}, annote={关键词:P4,数据平面编程,类型系统} }
@会议记录{gil_et_al:LIPIcs.ECOOP.2019.13, author={Gil,Yossi and Roth,Ori},作者, title={{Fling-Fluent API生成器}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={13:1--13:25}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.13 }, URN={URN:nbn:de:0030-drops-108053}, doi={10.4230/LPIcs.ECOP.2019.13}, annote={关键词:fluent API,类型系统,编译,代码生成} }
@会议记录{makwana_et_al:LIPIcs.ECOOP.2019.14, 作者={Makwana,Dhruv C.和Krishnaswami,Neelakantan R.}, title={{NumLin:线性代数的线性类型}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={14:1--14:25}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.14 }, URN={URN:nbn:de:0030-drops-108069}, doi={10.4230/LIPIcs.ECOOP.2019.14}, annote={关键词:数值、线性、代数、类型、权限、OCaml} }
@会议记录{fourtounis_et_al:LIPIcs.ECOOP.2019.15, author={Fourtounis,George和Smaragdakis,Yannis}, title={{invokedynamic}}的深度静态建模, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={15:1--15:28}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.15 }, URN={URN:nbn:de:0030-drops-108076}, doi={10.4230/LPIcs.ECOP.2019.15}, annote={关键词:静态分析,invokedynamic} }
@会议记录{turcotte_et_al:LIPIcs.ECOOP.2019.16, author={特科特、亚历克西和阿特卡、艾伦和理查兹、格雷戈}, title={{在不建模外语的情况下推理外部函数接口}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, pages={16:1-16:32}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.16 }, URN={URN:nbn:de:0030-drops-108087}, doi={10.4230/LPIcs.ECOP.2019.16}, annote={关键词:形式语义,语言互操作,Lua,C,外部函数接口} }
@会议记录{springer_et_al:LIPIcs.ECOOP.2019.17, author={Springer、Matthias和Masuhara、Hidehiko}, title={{DynaSOAr:在具有高效内存访问的GPU上面向对象编程的并行内存分配器}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页码={17:1--17:37}, series={Leibniz国际信息学论文集(LIPIcs)}, ISBN={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.17 }, URN={URN:nbn:de:0030-drops-108098}, doi={10.4230/LIPIcs.ECOOP.2019.17}, annote={关键词:CUDA,数据布局,动态内存分配,GPU,面向对象编程,SIMD,单指令多对象,数组结构} }
@诉讼程序{mukherjee_et_al:LIPIcs.ECOOP.2019.18, 作者={穆克吉、苏瓦姆和拉吉、尼廷·约翰和戈文德拉吉、克里希南和德利吉安尼斯、潘塔齐斯和拉维昌兰、钱德拉穆莱斯瓦兰和拉尔、阿卡什和拉斯托吉、阿塞姆和克里希纳斯瓦米、拉贾}, title={{可靠状态机:编程可靠云服务的框架}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={18:1--18:29}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, 编辑={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.18 }, URN={URN:nbn:de:0030-drops-108101}, doi={10.4230/LIPIcs.ECOOP.2019.18}, annote={关键词:容错、云计算、Actor框架} }
@会议记录{hamin_et_al:LIPIcs.ECOOP.2019.19, author={Hamin,Jafar和Jacobs,Bart}, title={{通过同步转移债务}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={19:1--19:58}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.19 }, URN={URN:nbn:de:0030-drops-108113}, doi={10.4230/LIPIcs.ECOOP.2019.19}, annote={关键词:霍尔逻辑、分离逻辑、模块化程序验证、同步、转移义务、死锁自由} }
@会议记录{villazon_et_al:LIPIcs.ECOOP.2019.20, author={Villaz\' {o} n个 ,Alex和Sun,Haiyang和Ros,Andrea和Rosales,Eduardo和Bonetta,Daniele和Defilippis,Isabella和Oporto,Sergio和Binder,Walter, title={{自动化大规模多语言动态程序分析}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={20:1--20:27}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.20 }, URN={URN:nbn:de:0030-drops-108127}, doi={10.4230/LIPIcs.ECOOP.2019.20}, annote={关键词:动态程序分析、代码存储库、GitHub、Node.js、Java、Scala、promises、JIT-unfriendly代码、任务粒度} }
@会议记录{luo_et_al:LIPIcs.ECOOP.2019.21, author={罗,凌辉和杜比,朱利安和博登,埃里克}, title={{MagpieBridge:将静态分析集成到IDE和编辑器中的通用方法}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={21:1--21:25}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.21 }, URN={URN:nbn:de:0030-drops-108139}, doi={10.4230/LIPIcs.ECOOP.2019.21}, annote={关键词:IDE,工具支持,静态分析,语言服务器协议} }
@会议记录{kang_et_al:LIPIcs.ECOOP.2019.22, author={Kang、Hong Jin和Thung、Ferdian和Lawall、Julia和Muller、Gilles和Jiang、Lingxiao和Lo、David}, title={{Java程序转换的语义补丁}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={22:1--22:27}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.22 }, URN={URN:nbn:de:0030-drops-108140}, doi={10.4230/LIPIcs.ECOOP.2019.22}, annote={Keywords:程序转换,Java} }
@会议记录{arslanagic_et_al:LIPIcs.ECOOP.2019.23, author={Arslanagi\'{c}、Alen和P\' {e} 雷兹 Jorge A.和Voogd,Erik}, title={{最小会话类型}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页码={23:1--23:28}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.23 }, URN={URN:nbn:de:0030-drops-108151}, doi={10.4230/LIPIcs.ECOOP.2019.23}, annote={关键词:会话类型,进程计算,pi-calculus} }
@会议记录{chung_et_al:LIPIcs.ECOOP.2019.24, author={Chung,Benjamin和Zappa Nardelli,Francesco和Vitek,Jan}, title={{Julia's Subtyping Unions and Covariant Tuples}}}的高效算法, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={24:1--24:15}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.24 }, URN={URN:nbn:de:0030-drops-108165}, doi={10.4230/LPIcs.ECOP.2019.24}, annote={关键字:类型系统,子类型,联合类型} }
@会议记录{shaikhha_et_al:LIPIcs.ECOOP.2019.25, author={Shaikhha、Amir和Parreaux、Lionel}, title={{最后,一个多态线性代数语言}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={25:1--25:29}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.25 }, URN={URN:nbn:de:0030-drops-108172}, doi={10.4230/LPIcs.ECOP.2019.25}, annote={关键词:线性代数,领域特定语言,无标记词尾,多态嵌入,对象代数,多阶段编程,图处理,概率编程,自动微分} }
@会议记录{pelsmaeker_et_al:LIPIcs.ECOOP.2019.26, author={Pelsmaeker,Daniel A.A.和van Antwerpen,Hendrik和Visser,Eelco}, title={{基于声明类型系统规范的语言参数语义编辑器服务}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={26:1--26:18}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, 编辑={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.26 }, URN={URN:nbn:de:0030-drops-108182}, doi={10.4230/LIPIcs.ECOOP.2019.26}, annote={关键词:语义、约束求解、Statix、名称绑定、编辑器服务、引用解析、代码完成、重构} }
@在诉讼中{torreslopez_et_al:LIPIcs.ECOOP.2019.27, 作者={Torres Lopez,Carmen和Gurdeep Singh,Robbert和Marr,Stefan和Gonzalez Boix,Elisa和Scholliers,Christophe}, title={{Multiverse Debugging:非确定性程序的非确定性调试}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={27:1--27:30}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, 编辑={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.27 }, URN={URN:nbn:de:0030-drops-108192}, doi={10.4230/LIPIcs.ECOOP.2019.27}, annote={关键词:调试、并行、并发、参与者、形式语义} }
@会议记录{majumdar_et_al:LIPIcs.ECOOP.2019.28, 作者={Majumdar,Rupak和Pirron,Marcus和Yoshida,Nobuko和Zufferey,Damien}, title={{机器人交互的运动会话类型}}, booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)}, 页数={28:1--28:27}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-111-5}, ISSN={1868-8969}, 年份={2019}, 体积={134}, editor={Donaldson,Alastair F.}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.28 }, URN={URN:nbn:de:0030-drops-108205}, doi={10.4230/LIPIcs.ECOOP.2019.28}, annote={关键词:会话类型,机器人,并发编程,运动,通信,多方会话类型,死锁自由} }