费斯特施里夫: 毛里齐奥·加布里埃利 2020
弗兰克·S·德·波尔 , 雅各布·毛罗 :
编程语言设计和实现的最新发展,Gabbrielli的Festschrift,2020年11月27日,意大利博洛尼亚。 OASIcs公司 86, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2020 ,国际标准图书编号 978-3-95977-171-9 前言,目录,前言。 0:1-0:14 雷内·哈内尔 , 安东·豪布纳 , 爱德华·坎伯扬 :
活动对象的本地静态、全局动态会话类型。 1:1-1:24 科西莫·拉伊夫 , 阿德尔·维切蒂 :
比特币协议的形式分析。 2:1-2:17 Mariangiola Dezani-Ciancaglini公司 , 保拉·贾尼尼 , 贝蒂·文内里 :
Java中的非限定交集类型。 3:1-3:25 米拉·达拉·普雷达 :
通过程序转换调整分析精度的统一框架。 4:1-4:22 萨维里奥·贾洛伦佐 , 伊万·拉内斯 , 法布里奇奥·蒙泰西 , 戴维德·桑吉奥吉 , 斯特凡诺·皮奥·津加罗 :
无服务器计算的服务器:功能即服务的正式修订。 5:1-5:21 莫雷诺·法拉斯基 , 朱利亚·帕尔马 :
反应系统的逻辑编程方法。 6:1-6:15 罗伯托·阿马蒂尼 , 格雷姆恒河 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
抽象解释、符号执行和约束。 7:1-7:19 马提尼 :
程序设计语言的标准模型:计算数学理论的诞生。 8:1-8:13 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
辩论的并行语言:初步说明。 9:1-9:22 弗兰克·S·德·波尔 , 艾纳·布罗赫·约翰森 , 鲁道夫·施拉特 , 西尔维娅·利泽斯·塔皮亚·塔里法 , 拉尔斯·特维托 :
Inseguendo Fagiani Selvatici:保护命令语言的部分降阶。 10:1-10:18 莫雷诺·法拉斯基 , 帕拉米德西卡图西亚 , 马可·罗曼内利 :
从机器学习模型和应用到安全和隐私的约束推导。 11:1-11:20 卢卡·比西奥 , 乔治·德尔扎诺 , 斯特凡诺·雷博拉 , 马泰奥·鲁利 :
微服务体系结构中的自适应实时物联网流处理。 12:1-12:20
![](https://dblp.org/img/cog.dark.24x24.png)