停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2013年第15届PADL：意大利罗马

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2013年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padd/2013
康斯坦蒂诺斯·萨戈纳斯:
2013年1月21日至22日在意大利罗马举行的第15届国际声明性语言实践研讨会，PADL 2013。诉讼程序。计算机科学课堂讲稿7752,施普林格 2013，十亿978-3-642-45283-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/KlintP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/KlintP13
保罗·克林特,阿齐·范德普洛格:
声明性分辨率无关二维图形库。 1-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/乔治泽GHK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GiorgidzeGHK13网址
乔治·乔治泽,托尔斯滕·格罗斯特,伊萨森·哈拉奇利斯基,迈克尔·库默:
使用数据库支持的Haskell分析整个维基百科历史。 19-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/CastroMM13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/CastroMM13
塞尔吉奥·卡斯特罗,金·门斯（Kim Mens）,保罗莫拉:
LogicObjects:通过语言共生实现Java中的逻辑编程。 26-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/罗德里格斯ASF13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/罗德里格斯ASF13
维托·罗德里格斯,本尼·阿克森,索萨圣歌,马里奥·弗洛里多:
使用延迟速率抽象的多核声明性合成时序分析。 43-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/古兹曼CH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GuzmanCH13
巴勃罗·奇科·德·古兹曼,曼努埃尔·卡罗,曼纽尔·埃尔梅内吉尔多:
支持表LP中的修剪。 60-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Moura13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Moura13
保罗莫拉:
一种可移植且高效的共导逻辑编程实现。 77-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Aranda-LopezNSS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Aranda-LopezNSS13网站
加布里埃尔·阿兰达·洛佩斯,苏珊娜·尼娃,费尔南多·萨恩斯·佩雷斯,杰米·桑切斯·埃尔南德斯:
在SQL中形式化更广泛的递归覆盖。 93-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/CanouCB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/CanouCB13
本杰明·卡努,伊曼纽尔·查洛（Emmanuel Chailloux）,文森特·巴拉特:
用于Web文档操作的声明友好API。 109-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BrasselHPR13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BrasselHPR13
Bernd文胸,迈克尔·哈纳斯,比约恩·佩默（Björn Peemöller）,费边·雷克:
在函数语言中实现等式约束。 125-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/0004R13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/0004R13
乔安·桑托斯,里卡多·罗查:
模式定向制表的有效实现。 141-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/FourtounisPR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/FourtounisPR13
乔治奥斯·福图尼斯,尼古拉·帕帕斯普鲁,帕诺斯·朗多吉安尼:
实现惰性函数语言的广义内涵变换。 157-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/梁K13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/LiangK13
梁森林,迈克尔·基弗:
终端分析器：大型逻辑程序的自动非终止分析器。 173-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/AngelopoulosCAWCW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/AngelopoulosCAWCW13
尼科斯·安杰洛普洛斯,维托尔·桑托斯·科斯塔,若昂·阿泽夫多,Jan Wielemaker公司,鲁伊·卡马乔,Lodewyk F.A.Wessels公司:
逻辑程序设计中的集成函数统计。 190-205
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Drey公司MHC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/DreyMHC13网站
佐伊·德雷,何塞·F·莫拉莱斯,曼纽尔·埃尔梅内吉尔多,曼努埃尔·卡罗:
可逆语言扩展及其在调试中的应用。 206-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Canisius秋冬
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/CanisiusAW13
桑德·卡尼修斯,尼科斯·安杰洛普洛斯,Lodewyk F.A.威塞尔:
proSQLite：通过SQLite接口的基于Prolog文件的数据库。 222-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Jeffrey13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Jeffrey13
阿兰·杰弗里:
依赖类型的Web客户端应用程序-HTML5中Agda中的FRP。 228-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MachadoAD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MachadoAD13
鲁伊·马查多,萨尔瓦多·阿布鲁,丹尼尔·迪亚兹:
使用PGAS模型的声明式编程的并行性能。 244-260

服务

管理网站设置

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