2008年第10届PADL:美国加利福尼亚州旧金山
保罗·哈达克 , 大卫·斯科特·沃伦 :
2008年1月7日至8日,美国加利福尼亚州旧金山市,PADL 2008,第十届国际研讨会,声明语言的实践方面。 计算机科学课堂讲稿 4902, 施普林格 2008 ,国际标准图书编号 978-3-540-77441-9 约翰·朗奇伯里 :
工业功能编程。 1 布鲁诺·帕加诺 , 奥利维尔·安德烈(Olivier Andrieu) , 本杰明·卡努 , 伊曼纽尔·查洛(Emmanuel Chailloux) , Jean-Louis可乐 , 托马斯·莫尼奥特 , 菲利普·王 :
Objective Caml中的认证开发工具实现。 2-17 吉勒姆·马尔蓬斯·乌塞罗 , 朱利奥·马里尼奥·卡巴洛 , 曼纽尔·卡罗 , 安杰尔·赫兰兹·尼娃 , 胡安·何塞·莫雷诺-纳瓦罗 , 拉尔斯·奥克·弗雷德隆德 :
使用逻辑编程进行自动编码规则一致性检查。 18-34 拉勒·穆萨维·埃什凯瓦里 , 维内拉·阿努多娃 , 君士坦丁尼德斯 :
通过声明推理对面向方面程序的理解和依赖性分析。 35-52 萨蒂亚穆尔西·苏巴拉扬 :
带BDD约束求解器中Nogoods的高效推理。 53-67 塞巴斯蒂安品牌 , 格雷戈里·杜克 , 雅各布·普钦格 , 彼得·J·斯塔基 :
灵活的、基于规则的约束模型线性化。 68-83 莫里茨·Y·贝克尔 , 塞巴斯蒂安·南兹 :
绑架在声明授权政策中的作用。 84-99 菲利普·考克斯 , 帕特里克·K·尼克尔森 :
用逻辑编程统一电子表格中的数组。 100-115 加布里埃尔·凯勒 , 休·查菲·米勒 , 曼努埃尔·M·T·查克拉瓦蒂 , 人斯徒瓦特 , 克里斯托弗·巴内尔·科沃尔利克 :
高性能蒙特卡罗方法专用模拟器生成器。 116-132 玛丽·费尔南德斯 , 凯瑟琳·费舍尔 , J.内森·福斯特 , 格林堡 , 伊扎克·曼德尔鲍姆 :
PADS/ML通用编程工具包:第三方开发人员的一级升级。 133-149 马丁·赫泽尔 , 纳撒尼尔·尼斯特罗姆 , 吟游诗人布鲁姆 , 扬·维泰克 :
匹配:穿过模式匹配丛林的路径。 150-166 理查德·弗罗斯特 , 拉赫玛图拉·哈菲兹 , 保罗·卡拉汉 :
模糊左序语法的分析器组合器。 167-181年 拉尔夫·贝克特 , 佐尔坦·索莫吉 :
DCGs+Meming=Packrat解析但值得吗? 182-196 巴勃罗·奇科·德古兹曼 , 曼纽尔·卡罗 , 曼纽尔·埃尔梅内吉尔多 , Cláudio Silva先生 , 里卡多·罗查 :
一种改进的基于连续调用的制表实现。 197-213 乔斯特·贝托尔德 , 阿比德·扎因 , 汉斯·沃夫冈·洛伊德 :
在ArTCoP中调度轻量级并行性。 214-229 阿马迪奥·卡萨斯 , 曼努埃尔·卡罗 , 曼纽尔·埃尔梅内吉尔多 :
面向无限制、独立和并行的执行原语的高级实现。 230至247 乔斯特·伯特霍尔德 , 米莎·迪特尔 , Rita Loogen公司 , 斯特芬·普里贝 :
分级主-工骨架。 248-264 保罗莫拉 , 保罗·克罗克 , 保罗·努斯 :
Logtalk中的高级多线程编程。 265-281 乔治·乔治泽 , 亨利克·尼尔森 :
打开Yampa。 282-298 彼得·库普曼 , 彼得·阿奇顿 , 普拉斯梅耶绿脓杆菌 :
基于模型的瘦客户端Web应用程序测试和导航输入。 299-315 Bernd文胸 , 迈克尔·哈纳斯 , 马里恩·米勒 :
Curry高级数据库编程。 316-332
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)