停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2011年第13届PADL：美国德克萨斯州奥斯汀

>主页 >会议和研讨会 >PADL（PADL）

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2011年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2011
里卡多·罗查,约翰·朗奇伯里:
2011年1月24日至25日，在美国德克萨斯州奥斯汀举行的2011年PADL第13届国际研讨会上，《声明性语言的实用性》。诉讼程序。计算机科学课堂讲稿6539,施普林格 2011，国际标准图书编号978-3-642-18377-5

受邀会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Kaivola11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Kaivola11
鲁佩·凯沃拉:
英特尔酷睿^TM（TM）基于函数语言的形式化框架中的i7处理器执行引擎验证。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/穆尼11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Mooney11
雷蒙德·穆尼:
从感知语境中学习语言。 2-4

消息传递和移动网络

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Christakis11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ChristakisS11
玛丽亚·克里斯塔基斯,康斯坦蒂诺斯·萨戈纳斯:
使用静态分析检测异步消息传递错误。 5-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Brown11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Brown11
尼尔·C·C·布朗:
Haskell中用于消息传递的组合器。 19-33
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MantadelisPJVB11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MantadelisPJVB11网站
西奥弗拉斯托斯·曼塔代利斯,科沙·帕里德尔,格尔达·詹森,伊夫·范龙佩,尤兰德·贝伯斯:
用ProbLog分析移动自组网的发布/订阅系统。 34-37

分析和实施

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MeraTLH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MeraTLH11
爱迪生·梅拉,特蕾莎·特里戈,佩德罗·洛佩斯·加西亚,曼纽尔·埃尔梅内吉尔多:
逻辑程序中计算属性的运行时检查和性能调试的分析。 38-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Hinrichs11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Hinrichs11
蒂莫西·辛里希斯:
柏拉图：交互式网络表单编译器。 54-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/WielemakerC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/WielemakerC11
Jan Wielemaker公司,维托尔·桑托斯·科斯塔:
关于Prolog应用程序的可移植性。 69-83

语法、合并和约束编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/DevrieseP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/DevrieseP11
多米尼克·德弗里斯,弗兰克·皮森斯:
显式递归语法组合器-浅解析器DSL的更好模型。 84-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/RedlEK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/RedlEK11
克里斯托夫·雷德,托马斯·艾特,托马斯·克伦沃纳:
使用合并计划合并声明性信念集。 99-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/SalgueiroDBA11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/SalgueiroDBA11网址
佩德罗·萨尔盖罗,丹尼尔·迪亚兹,伊莎贝尔·布里托,萨尔瓦多·阿布鲁:
使用约束进行入侵检测：NeMODe系统。 115-129

语言扩展和工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/KrajcevskiR11文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/KrajcevskiR11
帕维尔·克拉切夫斯基,约翰·雷皮:
粒子系统的声明性API。 130-144
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/CaballeroGS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/CaballeroGS11
拉斐尔·卡巴列罗,尤兰达·加西亚·鲁伊斯,费尔南多·萨恩斯·佩雷斯:
将XPath与函数逻辑语言玩具集成。 145-159
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/克里斯蒂安森11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Christiansen11
简·克里斯蒂安森:
懒惰-检查最小严格性的工具。 160-174

并行程序设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/SymePL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/SymePL11
唐·赛姆,托马斯·彼得里切克,德米特里·洛莫夫:
F#异步编程模型。 175-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/HolkBWHCL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/HolkBWHCL11网址
埃里克·霍克,威廉·伯德,耶利米亚·威尔科克,托尔斯滕·霍夫勒,Arun Chauhan公司,安德鲁·卢姆斯代恩:
Kanor-一种用于明确交流的声明性语言。 190-204
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/PetricekS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/PetricekS11
托马斯·彼得里切克,唐·赛姆:
Joinads：一种用于反应式、并行和并发编程的可重定向控制流结构。 205-219

事件处理和反应式编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/FodorAR11文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/FodorAR11
保罗·福多,达科动画,塞巴斯蒂安·鲁道夫:
无序事件处理的结果。 220-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/VoellmyH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/VoellmyH11网址
安德烈亚斯·沃尔米,保罗·哈达克:
Nettle：消除编程网络路由器的刺。 235-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BelwalC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BelwalC11网址
柴塔尼亚·贝尔瓦尔,阿尔伯特·M·K·程:
确定P-FRP中的实际响应时间。 250-264

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。