停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2010年第12届PADL：西班牙马德里

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2010年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padd/2010
曼努埃尔·卡罗,里卡多·佩尼亚:
2010年1月18日至19日，西班牙马德里，PADL 2010，第十二届国际研讨会，《声明性语言的实用性》。诉讼程序。计算机科学课堂讲稿5937,施普林格 2010，国际标准图书编号978-3-642-11502-8

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Pontelli10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Pontelli10
恩里科·蓬泰利:
2010年答案集编程：个人视角。 1-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Marti-Oliet10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Marti-Oliet10
纳西索·马蒂-奥列特:
莫德及其应用简介。 4-9

非单调推理-答案集编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/LeoneRRT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/LeoneRRT10
尼古拉·莱昂内,弗朗西斯科·里卡,卢卡·阿戈斯蒂诺·鲁比诺,乔治·特拉西纳:
答案集编程在高级数据集成中的高效应用。 10-24
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/GomesAS10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GomesAS10
安娜·索菲亚·戈麦斯,何塞·朱利奥·阿尔弗雷斯,Terrance Swift公司:
混合MKNF知识库的问答实现。 25-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/GrassoILLRS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GrassoILLRS10
乔瓦尼·格拉索,萨尔瓦多伊里塔诺,尼古拉·莱昂内,文森齐诺·里奥,弗朗西斯科·里卡,弗朗西斯科·斯卡利泽:
Gioia-Tauro海港基于ASP的团队建设系统。 40-42

类型

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/伊波拉10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Iborra10
何塞·伊波拉:
Haskell的显式类型异常。 43-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Boespflug10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Boespflug10
马修·博斯普弗鲁格（Mathieu Boespflug）:
通过评估进行转换。 58-72

并行性和分布

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/DieterleHL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/DieterleHL10
米莎·迪特尔,托马斯·霍斯特梅耶,Rita Loogen公司:
使用远程数据进行骨架合成。 73-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/GrumbachW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GrumbachW10
Stéphane Grumbach酒店,王芳（Fang Wang）:
Netlog，一种基于规则的分布式编程语言。 88-103

代码质量保证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/LiT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/LiT10
李慧清（音）,西蒙·汤普森:
Erlang程序的类似代码检测和消除。 104-118
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ChristakisS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ChristakisS10
玛丽亚·克里斯塔基斯,康斯坦蒂诺斯·萨戈纳斯:
Erlang中竞争条件的静态检测。 119-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/AgarwalBGG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/AgarwalBGG10
阿什什·阿加瓦尔,苏拉吉·巴特,亚历山大·格雷,伊格纳西奥·格罗斯曼:
自动化数学程序转换。 134-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/SridharH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/SridharH10
米拉·斯里达尔,凯文·哈姆伦:
Prolog中的ActionScript内联引用监视。 149-151

领域特定语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/LiuH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/LiuH10
刘海（Hai Liu）,保罗·哈达克:
《箭颂》。 152-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/HafizF10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/HafizF10
拉赫玛图拉·哈菲兹,理查德·弗罗斯特:
通用属性语法可执行规范的惰性组合器。 167-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/WangG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/WangG10网站
Yan Wang（王燕）,维罗尼卡·加斯佩斯:
协议栈实现的领域特定语言方法。 183-185

编程辅助工具

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Perera10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Perera10
罗利·佩雷拉:
一阶交互式编程。 186-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/HanusK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/HanusK10网址
迈克尔·哈纳斯,斯文·科什尼奇:
基于ER的声明性Web编程框架。 201-216

约束条件

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/GentM10配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GentMM10
伊恩·P·根特,伊恩·米格尔,尼尔·C·A·摩尔:
约束传播器的懒惰解释。 217-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Costa10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Costa10
维托尔·桑托斯·科斯塔:
论CLP的实施(B类N个\mathcal BN）语言。 234-248

表格-代理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/RaimundoR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/RaimundoR10
乔·雷蒙多,里卡多·罗查:
表格评估的紧凑列表。 249-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MarquesSC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MarquesSC10
雷·马基斯,Terrance Swift公司,何塞·C·库尼亚:
并发局部制表的简单高效实现。 264-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/AreiasR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/AreiasR10
阿雷亚斯,里卡多·罗查:
基于备选方案动态重排序的线性表格的高效实现。 279-293
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/LopesP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/LopesP10
Gonçalo Lopes公司,路易斯·莫尼兹·佩雷拉:
潜在的讲故事代理人。 294-296

服务

管理网站设置

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