停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2009年第11届PADL：美国佐治亚州萨凡纳

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2009年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2009
安迪·吉尔,Terrance Swift公司:
2009年1月19日至20日，美国佐治亚州萨凡纳，PADL 2009，第11届国际研讨会，《声明性语言的实用性》。诉讼程序。计算机科学课堂讲稿5418,施普林格 2009，国际标准图书编号978-3-540-92994-9

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/PereiraDL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/PereiraDL09
路易斯·莫尼兹·佩雷拉,皮耶朗基罗·德尔·阿夸,Gonçalo Lopes公司:
论诱拐模型的偏好与检验。 1-15

用户界面和环境

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/HanusK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/HanusK09
迈克尔·哈纳斯,克里斯托夫·克鲁:
用户界面的声明性编程。 16-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/DukeBWR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/DukeBWR09
大卫·J·杜克,丽塔·博戈,马尔科姆·华莱士,科林·伦西曼:
大数据小程序：通过多个嵌入式DSL进行可视化设计。 31-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/EastlundF09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/EastlundF09
卡尔·伊斯特伦德,马提亚斯·费莱森:
ACL2实用模块系统。 46-60

网络和数据

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/WangBLS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/WangBLS09
王安多,Prithwish巴苏,Boon Thau Loo先生,奥列格·索科尔斯基:
声明性网络验证。 61-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/NavarroR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/NavarroR09
胡安·安东尼奥·纳瓦罗·佩雷斯,安德烈·里巴尔琴科:
声明性网络的操作语义。 76-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/XiFWZ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/XiFWZ09
钱熙,凯瑟琳·费舍尔,大卫·沃克,Kenny Qili Zhu先生:
特殊数据和令牌模糊问题。 91-106

多线程和并行性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MouraRM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MouraRM09
保罗莫拉,里卡多·罗查,萨拉·马德拉:
Logtalk中基于线程的高级竞争或并行性。 107-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/苏莱曼M09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/苏莱曼M09
阿特夫·苏莱曼,约翰·米勒:
在多线程Prolog系统中实现线程取消。 122-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/TarauM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/TarauM09
保罗·塔劳,阿伦·马朱姆达尔:
互操作逻辑引擎。 137-151

数据库和大型数据集

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/端口09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Porto09
安托尼奥·波尔图:
逻辑编程中与关系数据库的高级交互。 152-167
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ZookPS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ZookPS09
大卫·佐克,埃米尔·帕萨利克,Beata Sarna-Starosta公司:
键入的数据日志。 168-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MaldeO09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MaldeO09
凯蒂尔·马尔德,布莱恩·奥沙利文:
在Haskell中使用Bloom过滤器进行大规模基因序列分析。 183-194

制表和优化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/CostaR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/CostaR09
佐治哥斯达,里卡多·罗查:
一张桌子适合所有人。 195-208
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Leshchinskiy09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Leshchinskiy09
罗曼·莱斯钦斯基:
回收阵列！ 209-223
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/古兹曼CH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GuzmanCH09
巴勃罗·奇科·德·古兹曼,曼努埃尔·卡罗,曼纽尔·埃尔梅内吉尔多:
基于程序转换的表执行完整方案。 224-238

语言扩展和实现

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/TranNPS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/TranNPS09
Dang-Vien Tran公司,Hoang-Khoi Nguyen村,恩里科·蓬泰利,Tran Cao Son公司:
提高一致性规划师的性能：声明性规划领域规范的静态分析。 239-253
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/PereiraP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/PereiraP09
路易斯·莫尼兹·佩雷拉,亚历山大·米盖尔·平托:
常规逻辑程序的分层模型自顶向下查询。 254-268
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Moura09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Moura09
保罗莫拉:
安全实施Meta-predicates。 269-283

服务

管理网站设置

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