2014年第16届PADL:美国加利福尼亚州圣地亚哥
马修·弗拉特 , 郭海峰 :
2014年1月20日至21日,美国加利福尼亚州圣地亚哥,PADL 2014,第16届国际声明性语言实践方面研讨会。 诉讼程序。 计算机科学课堂讲稿 8324, 施普林格 2014 ,国际标准图书编号 978-3-319-04131-5 K.C.西瓦拉马克里希南 , 卢卡斯·齐亚雷克 , 苏雷什·贾甘纳森 :
R(右) CML公司 :安全放松同步运动处方。 1-16 托马斯·维南特 , 多米尼克·德弗里斯 , 弗兰克·皮森斯 , 汤姆·施里杰弗斯 :
Haskell的部分类型签名。 17-32 托马斯·彼得里切克 , 唐·赛姆 :
F#计算表达式动物园。 33-48 尤利亚·利勒 , 米罗斯瓦·特鲁兹琴斯基 :
抽象模块化推理系统和求解器。 49-64 简·布拉克 , 安迪·吉尔 :
Sunroof:用于生成JavaScript的Monadic DSL。 65-80 马修·拉金 , 安德鲁·菲利普斯 :
用函数编程语言编译DNA链置换反应。 81-86 Tran Cao Son公司 , 恩里科·蓬泰利 , Tiep Le公司 :
ASP-Prolog系统的两个应用:可分解程序和多控制系统。 87-103 阿里·萨普塔维贾亚 , 路易斯·莫尼兹·佩雷拉 :
用逻辑程序设计对道德进行计算建模。 104-119 保罗·塔劳 :
巨数算术的声明性规范。 120-135 罗伯特·克利夫顿-万岁 , 特雷弗·L·麦克唐纳 , 曼努埃尔·M·T·查克拉瓦蒂 , 加布里埃尔·凯勒 :
嵌入外来代码。 136-151 费德里科·坎佩托 , 亚历山德罗·达尔·帕洛 , 阿戈斯蒂诺·多维尔 , 费迪南多·菲奥雷托 , 恩里科·蓬泰利 :
探索GPU在约束求解中的使用。 152-167 阿雷亚斯 , 里卡多·罗查 :
表逻辑程序无锁可扩展尝试的正确性和效率。 168-183 马丁·埃尔斯曼 , 安德斯·沙克·尼尔森 :
Typelets-一种基于规则的动态、静态类型用户界面评估模型。 184-199 雅科·克里金 , S.Doaitse Swierstra公司 , 马科斯·维埃拉 :
扩展:走向可扩展的潘多克系统。 200-215 何塞·佩德罗·马加莱斯 , 安德烈斯·洛赫 :
通用通用编程。 216-231
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)