2018年PPDP:德国法兰克福
大卫·萨贝尔 , 彼得·蒂曼 :
2018年9月3日至5日,德国法兰克福,第20届国际声明性编程原则与实践研讨会论文集,PPDP 2018。 ACM公司 2018 菲利普·加德纳 :
JaVerT:JavaScript验证和测试框架:邀请谈话。 1:1-1:4 Chung-chieh Shan公司 :
计算分配。 2:1-2:5 尼克·本顿 :
HHVM字节码的语义等价性检查。 3:1-3:8 斯蒂芬·阿德尔斯伯格 , 安东·塞泽尔 , 埃里克·沃尔金肖 :
声明性GUI:简单、一致且经过验证。 4:1-4:15 丹尼尔·安尼科夫 , 马丁·埃尔斯曼 :
经认证的财务合同汇编。 5:1-5:13 巴勃罗·巴伦鲍姆 , 爱德华多·博内利 , 卡里姆·穆罕默德 :
模式匹配和固定点:资源类型和强大的按需调用:扩展抽象。 6:1-6:12 马西耶·本德考斯基(Maciej Bendkowski) , 皮埃尔·莱斯坎 :
显式替换的组合数学。 7:1-7:12 弗拉维恩·布鲁瓦特 , 乌戈·达尔·拉戈 :
交集类型与概率Lambda演算。 8:1-8:13 Mistral Contrastin公司 , 多米尼克·A·乌节(Dominic A.Orchard) , 安德鲁·赖斯 :
为数据日志的数据流安全自动重新排序。 9:1-9:17 阿披舍克党 , 皮尤什·库鲁尔 :
韵文:加密基元的EDSL。 10:1-10:9 何塞·弗拉戈索·桑托斯 , 彼得·马克西莫维奇 , Théotime Grohens公司 , 朱利安·杜比 , 菲利普·加德纳 :
JavaScript的符号执行。 11:1-11:14 迈克尔·哈纳斯 :
验证无故障声明程序。 12:1-12:13 马克西米利亚诺·克莱门 , 娜塔莉亚·斯图洛娃 , 佩德罗·洛佩斯·加西亚 , 何塞·F·莫拉莱斯 , 曼纽尔·埃尔梅内吉尔多 :
带有运行时检查的程序的静态性能保证。 13:1-13:13 马格努斯·马德森 , Ondrej Lhoták :
逻辑编程的隐式参数。 14:1-14:14 戈帕兰·纳达图尔 , 王玉亭 :
阿贝拉证明助手中的示意多态性。 15:1-15:13 Yuki Nishida公司 , Atsushi Igarashi先生 :
不确定清单合同。 16:1-16:13 阿尔贝托·帕尔多 , 伊曼纽尔·冈瑟 , 米盖尔·帕加诺 , 马科斯·维埃拉 :
正确构造编译器的内部方法。 17:1-17:12 德米特里·罗兹普洛哈斯 , 德米特里·布莱切夫 :
通过发散检验提高关系搜索的拒绝完备性。 18:1-18:13 Genki Sakanashi先生 , 酒井正彦 :
用扩展SQL编写的组合优化问题到约束问题的转换。 19:1-19:13 曼弗雷德·施密特·沙乌 , 大卫·萨贝尔 , 尼尔斯·达尔梅耶 :
并发函数编程语言中的顺序和并行改进。 20:1-20:13 赫尔穆特·塞德尔 , 拉尔夫·福格勒 :
自顶向下解算器的三项改进。 21:1-21:14 马丁·苏尔兹曼 , 凯·斯塔特米勒 :
基于向量时钟的消息传递Go程序的两阶段动态分析。 22:1-22:13 Taku Terao公司 :
用于高阶程序验证的惰性抽象。 23:1-23:13 西尔维娅·格雷 , 塞巴斯蒂安·埃尔德维格 , 安德烈·帕克 , 米拉·梅齐尼 :
系统描述:将领域知识与自动定理证明器相结合的基础结构。 24:1-24:10 法尔科·诺加茨 , 乔纳·卡尔库斯 , 迪特马尔·塞佩尔 :
使用Prolog元解释器实现基于Web的定冠词语法可视化:系统描述。 25:1-25:10