LIPIcs，第263卷
第37届欧洲面向对象编程会议（ECOOP 2023）
-
部分： 系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 欧洲面向对象编程会议
出版物详细信息
发布时间：2023-07-11 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik 国际标准图书编号：978-3-95977-281-5 DBLP： db/conf/ecop/ecoop2023
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
LIPIcs，第263卷，ECOOP 2023，完整卷
摘要
引用为
@会议记录{ali_et_al:LIPIcs.ECOOP.2023， title={{LIPIcs，第263卷，ECOOP 2023，完整卷}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={1--1288}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023 }, URN={URN:nbn:de:0030-drops-181924}， doi={10.4230/LIPIcs.ECOOP.2023}， annote={关键词：LIPIcs，第263卷，ECOOP 2023，完整卷} }
封面、目录、前言、会议组织
摘要
引用为
@在诉讼程序{ali_et_al:LIPIcs.ECOP.2023.0， 作者={Ali，Karim and Salvaneschi，Guido}， title＝{前面的问题，目录，序言，会议组织}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页面={0:i--0:xx}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2023.0 }, URN={URN:nbn:de:0030-drops-181932}， doi={10.4230/LIPIcs.ECOOP.2023.0}， 注释={关键词：前言、目录、前言、会议组织} }
设计具有紧急停止故障的异步多方协议
摘要
引用为
@在议事录{barwell_et_al:LIPIcs.ECOP.2023.1， author={巴威尔、亚当·D·和侯、平和吉田、Nobuko和周、方毅}， title={{设计具有崩溃停止故障的异步多方协议}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={1:1--1:30}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2023.1 }, URN={URN:nbn:de:0030-drops-181944}， doi＝{10.4230/LPIcs.ECOP.2023.1}， annote={Keywords:会话类型，并发，失败处理，代码生成，Scala} }
基于嵌套纯操作的CRDT
摘要
引用为
@会议记录{bauwens_et_al:LIPIcs.ECOOP.2023.2， author={Bauwens，Jim和Gonzalez Boix，Elisa}， title={{嵌套的基于纯操作的CRDTs}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={2:1--2:26}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2023.2 }, URN={URN:nbn:de:0030-drops-181950}， doi={10.4230/LIPIcs.ECOOP.2023.2}， annote={关键词：CRDT、复制、基于纯操作的CRDT，组合，嵌套} }
多等级轻量级Java
摘要
引用为
@在《议事录》{bianchini_et_al:LIPIcs.ECOP.2023.3， author={Bianchini、Riccardo和Dagnino、Francesco和Giannini、Paola和Zucca、Elena}， title={{多级羽量级Java}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={3:1--3:27}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2023.3 }, URN={URN:nbn:de:0030-drops-181960}， doi={10.4230/LIPIcs.ECOOP.2023.3}， annote={Keywords:分级模式类型，Java} }
Hoogle⋆：使用符号执行的基于Petri网的合成中的常数和λ-抽象
摘要
引用为
@会议记录{botelhoguerra_et_al:LIPIcs.ECOOP.2023.4， author={Botelho Guerra、Henrique和Ferreira、Jo\~ {a} o个 F.和Costa Seco，Jo\~ {a} o个 }, title={{Hoogle⋆：使用符号执行的基于Petri网的合成中的常数和\lambda-abstractions}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={4:1--4:28}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LPIcs.ECOP.2023.4下载 }, URN={URN:nbn:de:0030-drops-181974}， doi={10.4230/LIPIcs.ECOOP.2023.4}， annote={关键词：类型定向，基于组件，程序合成，符号执行，统一，Haskell} }
WebAssembly的模块化抽象定义解释器
摘要
引用为
@会议记录{brandl_et_al:LIPIcs.ECOOP.2023.5， author={Brandl、Katharina和Erdweg、Sebastian和Keidel、Sven和Hansen、Nils}， title={{WebAssembly}}的模块化抽象定义解释器， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={5:1--5:28}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2023.5 }, URN={URN:nbn:de:0030-drops-181982}， doi={10.4230/LIPIcs.ECOOP.2023.5}， annote={关键字：静态分析，WebAssembly} }
动态可更新多方会话协议：从无边界协议生成并发Go代码
摘要
引用为
@在《议事录》{castroperez_et_al:LIPIcs.ECOP.2023.6， author={Castro-Perez、David和Yoshida、Nobuko}， title={{动态可更新多方会话协议：从无边界协议生成并发Go代码}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页码＝{6:1-6:30}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2023.6 }, URN={URN:nbn:de:0030-drops-181995}， doi={10.4230/LIPIcs.ECOOP.2023.6}， annote={关键词：多方会话类型，按结构更正，并发，Golang} }
高阶函数编排的模块化编译
摘要
引用为
@会议记录{cruzfilipe_et_al:LIPIcs.ECOOP.2023.7， author={Cruz-Filipe，Lu{'i}s和Graversen，Eva和Lugovi，Lovro和Montesi，Fabrizio和Peressotti，Marco}， title={{高阶函数编排的模块化编译}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={7:1--7:37}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2023.7 }, URN={URN:nbn:de:0030-drops-182005}， doi={10.4230/LIPIcs.ECOOP.2023.7}， annote={关键词：编排，并发，\lambda-calculus，类型系统} }
接线电路很简单，比如{0,1，ω}，或者它是。。。
摘要
引用为
@在诉讼中{demijnckhughes_et_al:LIPIcs.CECOOP.2023.8， author={de Muijnck-Hughes，Jan和Vanderbauwhede，Wim}， title={{布线很简单，如\{0,1、\omega\}或Is It…}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={8:1--8:28}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2023.8}， URN={URN:nbn:de:0030-drops-182010}， doi={10.4230/LIPIcs.ECOOP.2023.8}， annote={关键词：硬件设计，线性类型，依赖类型，DSL，Idris，SystemVerilog，Netlists} }
VeriFx：纠正海量的复制数据类型
摘要
引用为
@会议记录{deprere_et_al:LIPIcs.ECOOP.2023.9， author={De Porre、Kevin和Ferreira、Carla和Gonzalez Boix、Elisa}， title={{VeriFx:更正Masses}}的复制数据类型， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={9:1--9:45}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.ECOOP.2023.9 }, URN={URN:nbn:de:0030-drops-182028}， doi={10.4230/LIPIcs.ECOOP.2023.9}， annote={关键词：分布式系统，最终一致性，复制数据类型，验证} }
利用测试推断可空注释
摘要
引用为
@会议记录{dietrich_et_al:LIPIcs.ECOOP.2023.10， author={Dietrich、Jens和Pearce、David J.和Chandramohan、Mahin}， title={{关于利用测试推断可空注释}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={10:1--10:25}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.10 }, URN={URN:nbn:de:0030-drops-182037}， doi={10.4230/LIPIcs.ECOOP.2023.10}， annote={关键词：空分析，空安全，测试，程序分析} }
通过开放递归的精确类型化实现面向对象的超收费编程
摘要
引用为
@会议记录{fan_et_al:LIPIcs.ECOOP.2023.11， author={Fan，Andong和Parreaux，Lionel}， title={{通过开放递归的精确类型实现面向对象的超收费编程}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={11:1--11:28}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.11 }, URN={URN:nbn:de:0030-drops-182047}， doi={10.4230/LIPIcs.ECOOP.2023.11}， annote={关键词：面向对象编程，表达式问题，开放递归} }
LoRe:可验证安全的本地优先软件的编程模型（扩展摘要）
摘要
引用为
@会议记录{haas_et_al:LIPIcs.ECOOP.2023.12， 作者={Haas、Julian和Mogk、Ragnar和Yanakieva、Elena和Bieniusa、Annette和Mezini、Mira}， title={{LoRe:可验证安全本地第一软件的编程模型（扩展抽象）}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={12:1--12:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.12 }, URN={URN:nbn:de:0030-drops-182056}， doi={10.4230/LIPIcs.ECOOP.2023.12}， annote={关键词：本地第一软件，反应式编程，不变量，一致性，自动验证} }
有承诺任务并行程序的动态确定性竞争检测
摘要
引用为
@会议记录{jin_et_al:LIPIcs.ECOOP.2023.13， author={Jin、Feiyang和Yu、Lechen和Cogumbreiro、Tiago和Shirako、Jun和Sarkar、Vivek}， title={{有承诺任务并行程序的动态确定性竞争检测}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={13:1--13:30}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.13 }, URN={URN:nbn:de:0030-drops-182060}， doi={10.4230/LIPIcs.ECOOP.2023.13}， annote={关键词：种族检测、承诺、决定论、决定论-种族、序列投影} }
代数复制数据类型：安全的本地第一软件编程
摘要
引用为
@会议记录{kuessner_et_al:LIPIcs.ECOOP.2023.14， author={Kuessner、Christian和Mogk、Ragnar和Wickert、Anna-Katharina和Mezini、Mira}， title={{代数复制数据类型：编程安全本地第一软件}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页码={14:1--14:33}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.14 }, URN={URN:nbn:de:0030-drops-182076}， doi={10.4230/LIPIcs.ECOOP.2023.14}， annote={关键词：local-first、数据隐私、协调自由、CRDT、AEAD} }
本地第一个软件的行为类型
摘要
引用为
@会议记录{kuhn_et_al:LIPIcs.ECOOP.2023.15， 作者＝{Kuhn，Roland和Melgratti，Hern\' {a} n个 埃米利奥·托斯托， title={{Local-First软件的行为类型}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={15:1--15:28}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.15 }, URN={URN:nbn:de:0030-drops-182086}， doi={10.4230/LIPIcs.ECOOP.2023.15}， annote={关键词：分布式协调，本地第一个软件，行为类型，发布订阅，异步通信} }
基于约束的编译器优化在能量采集应用中的应用
摘要
引用为
@会议记录{li_et_al:LIPIcs.ECOOP.2023.16， author={李彦南和王超}， title={{能量采集应用程序的基于约束的编译器优化}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={16:1--16:29}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.16 }, URN={URN:nbn:de:0030-drops-182096}， doi={10.4230/LIPIcs.ECOOP.2023.16}， annote={关键词：编译器，能量优化，约束求解，密码学，物联网} }
可限制变量：可扩展变量的简单实用替代方案
摘要
引用为
@会议记录{madsen_et_al:LIPIcs.ECOOP.2023.17， author={Madsen、Magnus和Starup、Jonathan Lindegaard和Lutze、Matthew}， title={{可限制变量：可扩展变量的简单实用替代方案}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={17:1--17:27}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.17 }, URN={URN:nbn:de:0030-drops-182109}， doi={10.4230/LIPIcs.ECOOP.2023.17}， annote={关键词：可限制变量、可扩展变量、细化类型、布尔统一} }
纯粹反思的编程：效果、懒惰和并行的和平共存
摘要
引用为
@会议记录{madsen_et_al:LIPIcs.ECOOP.2023.18， author={Madsen、Magnus和van de Pol、Jaco}， title={{纯反射编程：效果、懒惰和并行的和平共存}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={18:1--18:27}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.18 }, URN={URN:nbn:de:0030-drops-182112}， doi={10.4230/LIPIcs.ECOOP.2023.18}， annote={关键词：类型和效果系统，纯度反射，惰性评估，并行评估} }
精确分离逻辑：弥合验证和错误发现之间的差距
摘要
引用为
@会议记录{maksimovic_et_al:LIPIcs.ECOOP.2023.19， author={Maksimovi\'{c}、Petar和Cronj\“ {a} 蒙古 、卡罗琳和L“{o}” {o} w个 ，安德烈亚斯和萨瑟兰，朱利安和加德纳，菲利帕}， title={{精确分离逻辑：弥合验证和错误发现之间的差距}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={19:1--19:27}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.19 }, URN={URN:nbn:de:0030-drops-182123}， doi={10.4230/LIPIcs.ECOOP.2023.19}， annote={关键词：分离逻辑，程序正确性，程序错误性，抽象} }
Morpheus：数据相关解析器组合程序的自动安全验证
摘要
引用为
@会议记录{mishra_et_al:LIPIcs.ECOOP.2023.20， 作者={Mishra，Ashish and Jagannathan，Suresh}， title={{Morpheus:数据相关分析器组合程序的自动安全验证}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={20:1--20:27}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.20 }, URN={URN:nbn:de:0030-drops-182138}， doi={10.4230/LIPIcs.ECOOP.2023.20}， annote={关键词：解析器，验证，领域特定语言，函数编程，精化类型，类型系统} }
不完整教师的自动学习
摘要
引用为
@会议记录{moeller_et_al:LIPIcs.ECOOP.2023.21， 作者={穆勒、马克和维纳、托马斯和索尔科·布雷斯林、阿拉亚和科赫、卡莱布和福斯特、内特和席尔瓦、亚历山德拉}， title={{使用不完整教师的自动学习}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={21:1--21:30}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.21 }, URN={URN:nbn:de:0030-drops-182145}， doi={10.4230/LIPIcs.ECOOP.2023.21}， annote={关键词：有限自动机、主动学习、SMT求解器} }
分离逻辑中基于状态的CRDT的模块化验证
摘要
引用为
@会议记录{nieto_et_al:LIPIcs.ECOOP.2023.22， author={Nieto、Abel和Daby-Seesaram、Arnaud和Gondelman，L {e} 上的 蒂马尼、阿明和比克达尔、拉尔斯}， title={{分离逻辑中基于状态的CRDT的模块化验证}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， pages={22:1-22:27}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.22 }, URN={URN:nbn:de:0030-drops-182154}， doi={10.4230/LIPIcs.ECOOP.2023.22}， annote={关键词：分离逻辑，分布式系统，CRDT，复制数据类型，形式验证} }
用于检测区块链中不确定性的信息流分析
摘要
引用为
@会议记录{olivieri_et_al:LIPIcs.ECOOP.2023.23， author={奥利维耶里、卢卡和内格里尼、卢卡与阿塞里、文森佐和塔利亚费罗、法比奥和费拉拉、彼得罗和科尔特斯、阿戈斯蒂诺和斯波托、福斯托}， title={{用于检测区块链中不确定性的信息流分析}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={23:1--23:25}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.23 }, URN={URN:nbn:de:0030-drops-182167}， doi={10.4230/LIPIcs.ECOOP.2023.23}， annote={关键词：静态分析、程序验证、非确定性、区块链、智能合约、DApp、围棋语言} }
符号执行的工具无关摘要
摘要
引用为
@会议记录{ramos_et_al:LIPIcs.ECOOP.2023.24， author={Ramos、Frederico和Sabino、Nuno和Ad\~ {a} o个 佩德罗（Pedro）和诺曼（Naumann），大卫·A.（David A.）和弗拉戈索·桑托斯（Fragoso Santos），乔斯（Jos）， title={{Toward Tool-Independent Summaries for Symbolic Execution}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={24:1--24:29}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.24 }, URN={URN:nbn:de:0030-drops-182171}， doi={10.4230/LIPIcs.ECOOP.2023.24}， annote={关键词：符号执行、运行时建模、符号摘要} }
顺序和并行程序的直接样式效果表示法
摘要
引用为
@会议记录{richter_et_al:LIPIcs.ECOOP.2023.25， 作者={Richter，David和B\“ {o} 赫勒 、蒂蒙和韦森伯格、帕斯卡和梅齐尼、米拉}、， title={{顺序和并行程序的直接样式效果符号}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={25:1--25:22}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.25 }, URN={URN:nbn:de:0030-drops-182181}， doi={10.4230/LIPIcs.ECOOP.2023.25}， annote={关键词：do-notation，parallelism，concurrency，effects} }
Sinatra：通过多版本执行为商业浏览器提供状态即时更新
摘要
引用为
@会议记录{rumsevicius_et_al:LIPIcs.ECOOP.2023.26， author={Rumsevicius、Ugnius和Venkateshwaran、Siddhanth和Kidane、Ellen和Pina、Lu、， title={{Sinatra:通过多版本执行对商业浏览器进行有状态即时更新}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={26:1--26:29}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.26 }, URN={URN:nbn:de:0030-drops-182190}， doi={10.4230/LIPIcs.ECOOP.2023.26}， annote={关键词：Internet浏览器，动态软件更新，多版本执行} }
一种高效的批量计算矢量哈希表
摘要
引用为
@会议记录{shahrokhi_et_al:LIPIcs.ECOOP.2023.27， 作者={Shahrokhi，Hesam和Shaikhha，Amir}， title={{用于批量计算的高效矢量哈希表}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={27:1--27:27}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.27 }, URN={URN:nbn:de:0030-drops-182203}， doi={10.4230/LIPIcs.ECOOP.2023.27}， annote={关键字：哈希表，矢量化，并行化，预取} }
提示词典：有效的函数序集和映射
摘要
引用为
@会议记录{shaikhha_et_al:LIPIcs.ECOOP.2023.28， 作者={Shaikhha、Amir和Ghorbani、Mahdi和Shahrokhi、Hesam}， title={{提示词典：高效函数序集和映射}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={28:1--28:30}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.28 }, URN={URN:nbn:de:0030-drops-182214}， doi={10.4230/LIPIcs.ECOOP.2023.28}， annote={关键词：函数集合，有序词典，稀疏线性代数} }
交互树的无干扰语义
摘要
引用为
@在诉讼中{silver_et_al:LIPIcs.ECOOP.2023.29， author={Silver、Lucas和He、Paul和Cecchetti、Ethan和Hirsch、Andrew K.和Zdancewic、Steve}， title={{不干扰交互树的语义}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={29:1--29:29}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.29 }, URN={URN:nbn:de:0030-drops-182227}， doi={10.4230/LIPIcs.ECOOP.2023.29}， annote={关键词：验证，信息流，指称语义，单子} }
交互树规范：用于指定支持自动活动验证的递归有效计算的框架
摘要
引用为
@会议记录{silver_et_al:LIPIcs.ECOOP.2023.30， author={Silver、Lucas和Westbrook、Eddy和Yacavone、Matthew和Scott、Ryan}， title={{交互树规范：用于指定支持自动活动验证的递归有效计算的框架}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={30:1--30:26}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.30 }, URN={URN:nbn:de:0030-drops-182239}， doi={10.4230/LIPIcs.ECOOP.2023.30}， annote={关键词：共创、规范、验证、单子} }
打破负面循环：探索一级数据日志约束的分层设计空间
摘要
引用为
@会议记录{starup_et_al:LIPIcs.ECOOP.2023.31， author={Starup、Jonathan Lindegaard和Madsen、Magnus和Lhot {a} k个 ，打开\v {r} 电子工程师 }, title={{打破负面循环：探索一级数据日志约束的分层设计空间}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={31:1--31:28}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.31 }, URN={URN:nbn:de:0030-drops-182244}， doi＝{10.4230/LPIcs.ECOP.2023.31}， annote={关键词：数据日志，一级数据日志约束，否定，分层否定，类型系统，行多态性，Flix编程语言} }
异步多方会话类型的可实现性是决定性的-从消息序列图中吸取的经验教训
摘要
引用为
@会议记录{stutz:LIPIcs.ECOOP.2023.32， author={Stutz，Felix}， title={{异步多方会话类型可实现性是可决定的-从消息序列图中学到的教训}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={32:1--32:31}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.32 }, URN={URN:nbn:de:0030-drops-182251}， doi={10.4230/LIPIcs.ECOOP.2023.32}， annote={Keywords:多方会话类型，验证，消息序列图} }
ConDRust：来自可验证Rust程序的可扩展确定性并发
摘要
引用为
@会议记录{suchert_et_al:LIPIcs.ECOOP.2023.33， author={Suchert、Felix和Zeidler、Lisza和Castrillon、Jeronimo和Ertel、Sebastian}， title={{ConDRust:来自可验证Rust程序的可扩展确定性并发}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页码={33:1--33:39}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.33 }, URN={URN:nbn:de:0030-drops-182263}， doi={10.4230/LIPIcs.ECOOP.2023.33}， annote={关键词：并发编程、验证、可伸缩性} }
相关合并和一流环境
摘要
引用为
@会议记录{tan_et_al:LIPIcs.ECOOP.2023.34， 作者={Tan，Jinhao和Oliveira，Bruno C.d.S.}， title={{依赖合并和一级环境}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页码={34:1--34:32}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.34 }, URN={URN:nbn:de:0030-drops-182277}， doi={10.4230/LIPIcs.ECOOP.2023.34}， annote={关键词：一级环境，不相交，交叉类型} }
存储系统的综合辅助崩溃一致性
摘要
引用为
@会议记录{vangeffen_et_al:LIPIcs.ECOOP.2023.35， author={范格芬、雅各布和王、习和托拉克、艾米娜和博恩霍尔特、詹姆斯}， title={{存储系统的综合辅助崩溃一致性}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={35:1--35:26}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.35 }, URN={URN:nbn:de:0030-drops-182285}， doi={10.4230/LIPIcs.ECOOP.2023.35}， annote={关键词：程序合成，崩溃一致性，文件系统} }
为代码搜索合成连接查询
摘要
引用为
@会议记录{wang_et_al:LIPIcs.ECOOP.2023.36， 作者={王、程鹏和姚、佩森和唐、文胜和范、刚和张、查尔斯}， title={{为代码搜索合成连接查询}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={36:1--36:30}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.36 }, URN={URN:nbn:de:0030-drops-182294}， doi={10.4230/LIPIcs.ECOOP.2023.36}， annote={关键词：查询合成、多模式程序合成、代码搜索} }
机器学习模型是否生成类型检查的TypeScript类型？
摘要
引用为
@会议记录{yee_et_al:LIPIcs.ECOOP.2023.37， author={Yee，Ming-Ho和Guha，Arjun}， title={{机器学习模型生成类型检查的类型脚本类型吗？}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页码＝{37:1-37:28}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.37 }, URN={URN:nbn:de:0030-drops-182307}， doi={10.4230/LIPIcs.ECOOP.2023.37}， annote={关键词：类型迁移，深度学习} }
使用程序合成为特定领域语言构建代码转发器（经验论文）
摘要
引用为
@会议记录{bhatia_et_al:LIPIcs.ECOOP.2023.38， author={巴蒂亚、萨希勒和科利、苏美尔和塞希亚、桑吉特A.和张，阿尔文}， title={{使用程序合成为领域特定语言构建代码转发器}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={38:1--38:30}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.38 }, URN={URN:nbn:de:0030-drops-182316}， doi={10.4230/LIPIcs.ECOOP.2023.38}， annote={关键词：程序合成，代码翻译，DSL，验证} }
莫雷洛的锈迹：总是关于记忆安全，即使是在不安全的代码中（经验论文）
摘要
引用为
@会议记录{harris_et_al:LIPIcs.ECOOP.2023.39， author={哈里斯、莎拉和库克西、西蒙和沃尔默、迈克尔和巴蒂、马克}， title={{Morello:Always-On Memory Safety，甚至在不安全代码中}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={39:1--39:27}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.39 }, URN={URN:nbn:de:0030-drops-182322}， doi={10.4230/LIPIcs.ECOOP.2023.39}， annote={关键词：编译器，Rust，内存安全，CHERI} }
关于使用VeriFast、VerCors、Plural和KeY检查对象使用情况（经验文件）
摘要
引用为
@会议记录{mota_et_al:LIPIcs.ECOOP.2023.40， author={莫塔，乔\~ {a} o个 和Giunti，Marco和Ravara，Ant {o} 尼奥 }, title={{关于使用VeriFast、VerCors、Plural和KeY检查对象用法}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={40:1--40:29}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.40 }, URN={URN:nbn:de:0030-drops-182330}， doi={10.4230/LIPIcs.ECOOP.2023.40}， annote={关键词：Java，Typestates，VeriFast，VerCors，Plural，KeY} }
Dolorem模式：通过编译时函数执行发展语言（Pearl/Brave New Idea）
摘要
引用为
@在诉讼中{henniger_et_al:LIPIcs.ECOOP.2023.41， author={Hennier，Simon和Amin，Nada}， title={{Dolorem模式：通过编译时函数执行增长语言}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={41:1--41:27}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.41 }, URN={URN:nbn:de:0030-drops-182343}， doi={10.4230/LIPIcs.ECOOP.2023.41}， annote={关键词：可扩展语言，元编程，宏，程序生成，编译} }
合成行为类型化：通过隐含的局部类型（珍珠/勇敢的新想法）进行合理、定期的多方会议
摘要
引用为
@会议记录{jongmans_et_al:LIPIcs.ECOOP.2023.42， 作者＝{Jongmans，Sung Shik和Ferreira，Francisco}， title={{合成行为类型化：声音，通过隐式局部类型的常规多方会话}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={42:1--42:30}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.42 }, URN={URN:nbn:de:0030-drops-182358}， doi={10.4230/LIPIcs.ECOOP.2023.42}， annote={关键词：行为类型，多方会话类型，舞蹈设计} }
现代软件文档的兴起（Pearl/Brave New Idea）
摘要
引用为
@会议记录{raglianti_et_al:LIPIcs.ECOOP.2023.43， author={拉格利安蒂（Raglianti）、马可（Marco）和纳吉（Nagy）、萨巴（Csaba）和米内利（Minelli）、罗伯托（Roberto）和林（Lin）、宾（Bin）和兰扎（Lanza）、米歇尔（Michele）}， title={{论现代软件文档的兴起}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={43:1--43:24}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.43 }, URN={URN:nbn:de:0030-drops-182369}， doi={10.4230/LIPIcs.ECOOP.2023.43}， annote={关键词：软件文档布局，GitHub自述文件，即时消息} }
Python类型提示正在图灵完成（Pearl/Brave New Idea）
摘要
引用为
@会议记录{roth：LIPIcs.ECOOP.2023.44， author={Roth，Ori}， title={{Python类型提示正在图灵完成}}， booktitle={第37届欧洲面向对象编程会议（ECOOP 2023）}， 页数={44:1--44:15}， series={Leibniz国际信息学论文集（LIPIcs）}， 国际标准图书编号={978-3-95977-281-5}， ISSN={1868-8969}， 年份={2023}， 体积={263}， editor={Ali，Karim和Salvaneschi，Guido}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.44 }, URN={URN:nbn:de:0030-drops-182372}， doi={10.4230/LIPIcs.ECOOP.2023.44}， annote={Keywords:带方差的标称子类型，Python} }