停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第三十三员工持股计划@ETAPS2024年：卢森堡市——第二部分

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/2024-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/2024-2
斯蒂芬妮·威里奇:
编程语言与系统——第33届欧洲编程研讨会，ESOP 2024，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2024，卢森堡市，2024年4月6日至11日，会议记录，第二部分。计算机科学课堂讲稿14577,施普林格 2024，国际标准图书编号978-3-031-57266-1

量子编程/领域特定语言

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/ColledanL24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/ColledanL24
安德烈亚·科莱丹,乌戈·达尔·拉戈:
通过效应类型和线性相关性进行电路宽度估计。 3-30
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/AvanziniMPP24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/AvanziniMPP24
马丁·阿文齐尼,乔治·莫瑟,罗曼·佩乔,西蒙·佩德里克斯:
定量分析量子程序的困难。 31-58
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/ThuneMW24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/ThuneMW24
安德斯·奥格伦·图内,松田和隆,孟旺（Meng Wang）:
协调局部可逆性和局部可逆性。 59-89
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/FujinamiH24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/FujinamiH24网址
藤本裕一（Hiroya Fujinami）,哈朔一郎:
有效匹配具有查找和原子分组的正则表达式的记忆。 90-118

验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/DvirKL24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/DvirKL24
约塔姆·德维尔,奥哈德·卡马尔,奥里·拉哈夫:
释放/获取并发的一种表示方法。 121-149
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/RaadLWBD24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/RaadLWBD24
杜鹃花,奥里·拉哈夫,约翰·威克森,Piotr Balcer公司,布里杰什·多戈尔:
英特尔PMDK事务：规范、验证与并发。 150-179
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/RaadLWBD24a文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/RaadLWBD24a
杜鹃花,奥里·拉哈夫,约翰·威克森,Piotr Balcer公司,布里杰什·多戈尔:
工件报告：英特尔PMDK事务：规范、验证与并发。 180-184
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/StefanescoRV24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/StefanescoRV24
莱奥·斯特凡内斯科,杜鹃花,维克托·瓦菲亚迪斯:
指定和验证永久库。 185-211
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/ItzhakySV24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/ItzhakySV24
沙查尔·伊扎基,莎伦·肖姆,雅基尔·维泽尔:
作为CHC可满足性的超属性验证。 212-241

项目分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/PrabhuFD24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/PrabhuFD24
苏曼特·帕布,格里戈里·费德尤科维奇,Deepak D'Souza公司:
线性阵列环路的最大量化预条件综合。 245-274
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/KanabarKM24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/KanabarKM24
赫鲁特维克·卡纳巴尔,卡普尔·科尔班,马格努斯·奥·米林:
PureCake的验证内联和专业化。 275-301
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/LundenHKEB24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/LundenHKEB24
丹尼尔·伦登,拉尔斯·胡梅尔格伦,简·库德利卡,奥斯卡·埃里克森,大卫·布洛曼:
通用概率编程语言的暂停分析和选择性连续传递风格。 302-330
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/国K24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/GuoK24
郭立业（Liye Guo）,辛西娅·科普:
高阶LCTRS及其终止。 331-357

摘要解释

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/KeidelHRM24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/KeidelHRM24网址
斯文·凯德尔,多米尼克·赫尔姆,托比亚斯·罗斯,米拉·梅齐尼:
黑板分析体系结构的模块化稳健性理论。 361-390
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/LermusiauxM24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/LermusiauxM24网址
皮埃尔·勒穆索,贝诺·蒙塔古:
通过抽象解释检测函数程序中的未捕获异常。 391-420
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/MonatFM24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/MonatFM24
拉斐尔·莫纳特,艾默尔·弗洛姆赫兹,丹尼斯·梅里古克斯:
形式化数据算术和静态检测法律的歧义。 421-450

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。