2011年第13届PADL:美国德克萨斯州奥斯汀
里卡多·罗查 , 约翰·朗奇伯里 :
2011年1月24日至25日,在美国德克萨斯州奥斯汀举行的2011年PADL第13届国际研讨会上,《声明性语言的实用性》。 诉讼程序。 计算机科学课堂讲稿 6539, 施普林格 2011 ,国际标准图书编号 978-3-642-18377-5
受邀会谈
消息传递和移动网络
玛丽亚·克里斯塔基斯 , 康斯坦蒂诺斯·萨戈纳斯 :
使用静态分析检测异步消息传递错误。 5-18 尼尔·C·C·布朗 :
Haskell中用于消息传递的组合器。 19-33 西奥弗拉斯托斯·曼塔代利斯 , 科沙·帕里德尔 , 格尔达·詹森 , 伊夫·范龙佩 , 尤兰德·贝伯斯 :
用ProbeLog分析移动Ad Hoc网络的发布/订阅系统。 34-37
分析和实施
爱迪生·梅拉 , 特蕾莎·特里戈 , 佩德罗·洛佩斯·加西亚 , 曼纽尔·埃尔梅内吉尔多 :
逻辑程序中计算属性的运行时检查和性能调试的分析。 38-53 蒂莫西·辛里希斯 :
柏拉图:交互式Web表单的编译器。 54-68 Jan Wielemaker公司 , 维托尔·桑托斯·科斯塔 :
关于Prolog应用程序的可移植性。 69-83
语法、合并和约束编程
多米尼克·德弗里斯 , 弗兰克·皮森斯 :
显式递归语法组合器-浅解析器DSL的更好模型。 84-98 克里斯托夫·雷德 , 托马斯·艾特 , 托马斯·克伦沃尔纳 :
使用合并计划合并声明性信念集。 99-114 佩德罗·萨尔盖罗 , 丹尼尔·迪亚兹 , 伊莎贝尔·布里托 , 萨尔瓦多·阿布鲁 :
使用限制进行入侵检测:NeMODe系统。 115-129
语言扩展和工具
帕维尔·克拉切夫斯基 , 约翰·雷皮 :
粒子系统的声明性API。 130-144 拉斐尔·卡巴列罗 , 尤兰达·加西亚·鲁伊斯 , 费尔南多·萨恩斯·佩雷斯 :
将XPath与函数逻辑语言玩具集成。 145-159 简·克里斯蒂安森 :
懒惰-检查最小严格性的工具。 160-174
并行程序设计
唐·赛姆 , 托马斯·彼得里切克 , 德米特里·洛莫夫 :
F#异步编程模型。 175-189 埃里克·霍克 , 威廉·伯德 , 耶利米亚·威尔科克 , 托尔斯滕·霍夫勒 , Arun Chauhan公司 , 安德鲁·卢姆斯代恩 :
Kanor-一种用于明确交流的声明性语言。 190-204 托马斯·彼得里切克 , 唐·赛姆 :
Joinads:一种用于反应式、并行和并发编程的可重定向控制流结构。 205-219
事件处理和反应式编程
保罗·福多 , 达科动画 , 塞巴斯蒂安·鲁道夫 :
无序事件处理的结果。 220-234 安德烈亚斯·沃尔米 , 保罗·哈达克 :
Nettle:消除编程网络路由器的刺。 235-249 柴塔尼亚·贝尔瓦尔 , 阿尔伯特·M·K·程 :
确定P-FRP中的实际响应时间。 250-264