停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2020年第22届PADL：美国洛杉矶新奥尔良

>主页 >会议和研讨会 >PADL（PADL）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2020年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2020
叶卡捷琳娜·科门丹茨卡娅,刘燕红（Annie Liu）:
声明语言的实用性——第22届国际研讨会，PADL 2020，美国洛杉矶新奥尔良，2020年1月20日至21日，会议记录。计算机科学课堂讲稿12007,施普林格 2020，国际标准图书编号978-3-030-39196-6

逻辑引擎和应用程序

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/TarauB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/TarauB20
保罗·塔劳,爱德华多·布兰科:
使用基于Prolog的对话框引擎进行交互式文本图挖掘。 3-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ChanC20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ChanC20
上智禅,詹姆斯·切尼:
使用答案集编程实现灵活的图形匹配和图形编辑距离。 20-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/NguyenPS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/NguyenPS20
清海阮,恩里科·蓬泰利,Tran Cao Son公司:
关于修复Web服务工作流。 37-53

答案集编程系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BasuSG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BasuSG20
金加尔·巴苏,法哈德·沙克林,戈帕尔·古普塔:
AQuA：基于ASP的可视化问答。 57-72
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BrikX20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BrikX20
亚历克斯·布里克,徐鸣杰:
使用操作语言诊断数据管道故障：进度报告。 73-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/NguyenZJXD20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/NguyenZJXD20
Vinh T.Nguyen（越南）,张远林,郑光熙（Kwanghee Jung）,万里行,汤米·丹:
VRASP：用于学习答案集编程的虚拟现实环境。 82-91

函数编程中的内存和实时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ElsmanH20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padd/ElsmanH20
马丁·埃尔斯曼,尼尔斯·哈伦伯格:
ML中基于区域的记忆管理和代际垃圾收集集成的效果。 95-112
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ShivkumarMZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ShivkumarMZ20
巴加夫·什夫库马尔,杰弗里·墨菲,卢卡斯·齐亚雷克:
RTMLton：用于实时系统的SML运行时。 113-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Janin20号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Janin20
大卫·贾宁:
定时IO Monad。 131-147

推理与高效实施

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/FichteHTW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/FichteHTW20
约翰·克劳斯·费希特,马库斯·赫彻,帕特里克·蒂尔,斯特凡·沃尔特兰:
利用数据库管理系统和树宽度进行计数。 151-167
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ShakerinG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ShakerinG20
法哈德·沙克林,戈帕尔·古普塔:
使用高实用性项集挖掘的默认规则的白盒归纳。 168-176

小型语言和实现

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ErwigKF20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ErwigKF20
马丁·埃尔维格,普拉桑特·库马尔,阿兰·弗恩:
动态编程说明。 179-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Eriksson第20页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padd/ErikssonP20
约翰内斯·埃里克森,马苏梅·帕萨:
整数范围推理的DSL：分区图、区间图和映射图。 196-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/沙欣C20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ShahinC20
拉米·沙欣,玛莎·契契克:
可变感知数据日志。 213-221

服务

管理网站设置

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