第23届PADL 2021:丹麦哥本哈根
何塞·F·莫拉莱斯 , 多米尼克·A·乌节(Dominic A.Orchard) :
声明语言的实用方面——第23届国际研讨会,PADL 2021,丹麦哥本哈根,2021年1月18日至19日,会议记录。 计算机科学课堂讲稿 12548, 施普林格 2021 ,国际标准图书编号 978-3-030-67437-3
基础和编程概念
保罗·塔劳 :
一类统一无关程序变换及其应用。 3-19 大卫·杨 , 马克·格雷布 , 安迪·吉尔 :
关于向基于Haskell的深度嵌入领域特定语言添加模式匹配。 20-36 郑恩创 , 格兰特·伊拉西 , 卢卡斯·齐亚雷克 :
具有优先级的同步消息传递。 37-53 巴加夫·什夫库马尔 , 恩里克·诺登 , 卢卡斯·齐亚雷克 :
使渐进式发挥作用。 54-70
声明语言的应用
法比奥·塔迪沃 , 位置Pham , Tran Cao Son公司 , 恩里科·蓬泰利 :
基于回归的错误初始信念状态修复的逻辑编程方法。 73-89 马里奥·阿尔维亚诺 , 卡米娜·多达罗 , 阿内尔·扎梅拉 :
数据验证符合答案集编程。 90至106 迈克尔·哈纳斯 :
轻量级声明性服务器端Web编程。 107-123
测试和调试的声明性方法
苏米特·巴迪亚尔 , K.C.西瓦拉马克里希南 :
ConFuzz:事件驱动程序的Coverage-Guided属性模糊。 127-144 胡安·何塞·冈萨雷斯-阿布里尔 , 格尔曼·维达尔 :
因果一致的可逆调试:改进CauDEr。 145-160 杰苏斯·曼努埃尔·阿曼德罗斯-吉梅内斯 , 安东尼奥·贝塞拉·特隆 :
XML查询的声明性调试。 161-177