第25届PADL 2023：美国马萨诸塞州波士顿
迈克尔·哈纳斯 
, 丹妮拉·伊普里赞 :
声明语言的实用方面——第25届国际研讨会，PADL 2023，波士顿，马萨诸塞州，美国，2023年1月16-17日，会议记录。 计算机科学课堂讲稿 13880, 施普林格 2023 ，十亿 978-3-031-24840-5
功能性编程
史蒂文·利比 :
RICE：优化Curry编译器。 3-19 尼克·穆伦内斯 , 约翰·杰林 , 巴斯蒂安·海仁 :
使用示例传播的程序合成。 20-36 凯奥利弗公司 , 芬兰·蒂根 , 简·克里斯蒂安森 :
通过编译器插件在Haskell中嵌入函数逻辑编程。 37-55 安娜·卡罗琳娜·席尔瓦 , 曼纽尔·巴博萨 , 马里奥·弗洛里多 :
严格限制的执行时间程序验证。 56-72 Birthe van den Berg出生 , 汤姆·施里杰弗斯 , 彼得·德德克 :
sf-Fluo：荧光显微镜实验中的领域专用语言（应用论文）。 73-82
逻辑程序设计
拉姆沙·阿里 , 穆罕默德·穆罕默德·埃尔·科拉尼 , 马丁·格布瑟 :
采用混合答案集编程的半导体制造柔性车间调度（应用论文）。 85-95 丹尼斯·安吉利卡 , 乔瓦姆巴蒂斯塔·伊安尼 , 弗朗西斯科·帕琴察 , 杰西卡·赞加里 :
将基于ASP的增量推理集成到视频游戏开发工作流（应用程序文件）中。 96-106 琳达·布罗多 , 罗伯托·布鲁尼 , 莫雷诺·法拉斯基 :
基于断言和监视器的反应系统动态切片。 107-124 伊曼纽尔·德·安吉利斯 , 法比奥·菲奥拉万蒂 , 阿尔贝托·佩托罗西 , 毛里齐奥·普罗埃蒂 :
约束Horn子句的多查询可满足性。 125-143 迪伦·弗林 , 查西·纳多 , 珍妮·桑茨 , 马塞洛·巴尔杜奇尼 , Tran Cao Son公司 , 爱德华·格里弗 :
代理商之间供应链合同的形式化和推理。 144-160 小岛三木 , 西田直树 :
从饥饿自由到限制重写中的所有路径可达性问题。 161-179 瓦比哈夫·梅塔 , 德文·洛伊尔 , 约翰·桑查克 , 大卫·沃克 :
SwitchLog：网络交换机的逻辑编程语言。 180-196 团恩国（Tuan Nguyen Quoc） , 井上胜美 , 恰基·萨卡马 :
部分求值的线性代数推导。 197-215 哈亚·马吉德·库雷希 , 沃尔夫冈·费伯 :
使用混合知识库在OWL 2 QL上进行元推理。 216-231 竹内Raito , 穆苏诺里·班巴拉 , 田村直之（Naoyuki Tamura） , 托尔斯滕·绍布 :
用答案集编程解决车辆设备规格问题。 232-249 萨拉特·钱德拉·瓦拉纳西 , 保罗蒙 , 克里斯托弗·亚历山大 , Szabolcs Borgyos公司 :
使用答案集编程和对合规性的最低解释进行无人机合规性检查（申请文件）。 250-260 徐泽生 , 约阿金·阿里亚斯 , 埃尔默·萨拉查 , 卓晨 , 萨拉特·钱德拉·瓦拉纳西 , 金加尔·巴苏 , 戈帕尔·古普塔 :
使用目标导向的答案集编程构建和分析陪审团审判故事。 261-278 Anssi Yli-Jyrä , 马苏德·费兹巴赫斯·兰科 , 托米·詹胡宁 :
答案集优化中的删减冗余在预防性维护调度中的应用。 279-294 大卫·赵 , 铺装亚音阶 , 穆昆德·拉戈塔曼 , 伯恩哈德·舒尔茨 :
增量数据日志评估的自动回滚建议。 295-312
