停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2005年第7届PADL：美国加利福尼亚州长滩

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2005年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2005
曼纽尔·埃尔梅内吉尔多,丹尼尔·卡贝萨:
《声明语言的实用性》，第七届国际研讨会，2005年PADL，美国加利福尼亚州长滩，2005年1月10日至11日，会议记录。计算机科学课堂讲稿3350,施普林格 2005，国际标准图书编号3-540-24362-3

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Ramsey公司05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padd/Ramsey05
诺曼·拉姆齐:
从第一原理构建世界：声明性机器描述和编译器构造。 1-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/德布雷05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Debray05
索米亚·德布雷:
代码压缩。 5-6

文件

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Karczmarczuk05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Karczmarczuk05
Jerzy Karczmarczuk公司:
声音合成的功能框架。 7-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BraunerEFGP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BraunerEFGP05
纳迪亚·布劳纳,拉希德·埃哈希德,格尔德·芬克,汉斯·格雷戈,普罗斯特（Frédéric Prost）:
为时间表生成专门缩小范围：案例研究。 22-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BrooksEMR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BrooksEMR05
丹尼尔·R·布鲁克斯,伊斯娃·爱德姆,詹姆斯·米奈特,唐纳德·林奇:
基于特征的分支分类和答案集编程。 37-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/TanasescuW05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/TanasescuW05
弗拉德·塔纳塞斯库,Pawel T.Wojciechowski先生:
可重构系统中基于角色的声明同步。 52-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/SaadP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/SaadP05
埃马德·萨阿德,恩里科·蓬泰利:
走向更实用的混合概率逻辑编程框架。 67-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ZhuX05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ZhuX05
朱登平,西红卫:
通过状态视图使用指针进行安全编程。 83-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/WangGL05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/WangGL05
钱旺（Qian Wang）,戈帕尔·古普塔,迈克尔·勒谢尔:
通过Horn逻辑连续语义实现可证明正确的代码生成。 98-112
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/YangDRS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/YangDRS05
平阳,董逸飞,C.R.Ramakrishnan（罗马克里希南）,斯科特·斯莫尔卡:
一个有效的移动进程模型检查编译器。 113-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/NieuwenborghHV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/NieuwenborghHV05
戴维·范·纽文伯格,斯迪恩·海曼斯,德克·弗梅尔:
有序逻辑程序求解器。 128-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/LopesC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/LopesC05
里卡多·洛佩斯,维托尔·桑托斯·科斯塔:
改善BEAM中的内存使用。 143-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Almendros-JimenezC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Almendros-JimenezC05（网址：https://dblp.org/rec/conf/padl/Almendros-JimenezC05）
杰苏斯·曼努埃尔·阿曼德罗斯-吉梅内斯,安东尼奥·科拉尔:
求解空间对象集上的约束。 158-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BaileyS05文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BaileyS05
詹姆斯·拜利,彼得·J·斯塔基:
利用Hitting集对偶发现最小不可满足约束子集。 174-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Munoz-HernandezG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Munoz-HernandezG05
苏珊娜·穆尼奥斯·亨德斯,何塞·马努埃尔·戈梅斯·佩雷斯:
用CLP（FD）解决协作模糊代理问题。 187-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/AlimarineS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/AlimarineS05
阿特姆·阿里马林,Sjaak Smetsers公司:
优化泛型的改进融合。 203-218
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/KawabeG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/KawabeG05
川部正彦,罗伯特·格莱克:
程控逆变器LRinv及其结构。 219-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BenzakenCM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BenzakenCM05
维罗尼克·本扎肯,朱塞佩·卡斯塔尼亚,塞德里克·米阿琼:
用于XML查询处理的基于完整模式的范式。 235-252
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/HeerenH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/HeerenH05
巴斯蒂安·海仁,侏罗纪黑格:
类型类指令。 253-267

服务

管理网站设置

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