2015年第17届PADL:美国俄勒冈州波特兰
恩里科·蓬泰利 , Tran Cao Son公司 :
2015年6月18日至19日,美国俄勒冈州波特兰市,第17届国际声明性语言实践研讨会,PADL 2015。 诉讼程序。 计算机科学课堂讲稿 9131, 施普林格 2015 ,国际标准图书编号 978-3-319-19685-5 马塞洛·巴尔杜奇尼 , 莎拉·库什纳 , 杰奎琳·斯派克 :
用于网络安全的本体论驱动的数据语义发现。 1-16 雷扎·巴塞达 , 迈克尔·基弗 :
使用事务逻辑进行状态空间规划。 17-33 弗拉维奥·克鲁斯 , 里卡多·罗查 :
关于编译具有理解性、聚合性和规则优先级的线性逻辑程序。 34-49 塞尔吉·戴姆琴科 , 玛丽亚·米哈伊洛娃 :
用Picat公开解决谷歌代码阻塞问题。 50-57 西蒙·福勒 , 洛伊克·德努齐埃 , 亚当·格拉尼茨 :
具有动态数据流的反应式单页应用程序。 58-73 迈克尔·哈纳斯 :
CHR(Curry):Curry中约束处理规则的解释和编译。 74-89 Dimitar图纸。 谢特里奥诺夫 , 格尔达·詹森 :
概率推理管道的实现和性能。 90-104 萨尔瓦多·塔马利特 , 吉列尔莫·维古拉斯 , 曼努埃尔·卡罗 , 朱利奥·马里诺 :
C程序基于规则的程序转换的Haskell实现。 105-114 保罗·塔劳 :
关于Lambda项的逻辑编程表示:de Bruijn索引、压缩、类型推断、组合生成、规范化。 115-131 贝诺·特瓦贡 , 菲利普·王 , 伊曼纽尔·查洛(Emmanuel Chailloux) :
OCaml中的微控制器编程:OCaPIC项目。 132-148
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)