默认搜索操作

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

问别人

2007年第9届PADL：法国尼斯

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

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2007
迈克尔·哈努斯:
2007年1月14日至15日，法国尼斯，2007年PADL第九届国际研讨会，《声明性语言的实用性》。计算机科学课堂讲稿4354,施普林格 2007，国际标准图书编号978-3-540-69608-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Hughes07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Hughes07网址
约翰·休斯:
快速检查测试的乐趣和利润。 1-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BarahonaK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BarahonaK07
佩德罗·巴拉奥纳,路德维希·克里帕尔:
生物信息学结构问题的约束规划方法。 33-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/CouttsSL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/CouttsSL07网址
邓肯·库茨,人斯徒瓦特,罗曼·莱斯钦斯基:
重写Haskell字符串。 50-64
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MorimotoTI07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MorimotoTI07网址
森本武史,高野雅雄,岩崎秀也:
立即将一次天真的穷尽搜索转化为三次有效的搜索，并进行修剪。 65-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/FisselerKBKM07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/FisselerKBKM07网址
延斯·菲舍勒,加布里埃尔·克恩·伊斯伯纳,克里斯托夫·贝尔,安德烈亚斯·科赫,克里斯蒂安·米勒:
使用Haskell进行代数知识发现。 80-93
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/古斯塔夫松S07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/古斯塔夫松S07
佩尔·古斯塔夫松,康斯坦蒂诺斯·萨戈纳斯:
Erlang中位流编程的应用、实现和性能评估。 94-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/EichbergKSMO07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/EichbergKSMO07
迈克尔·艾希伯格,马夏斯·卡尔,迪普蒂卡利安·萨哈,米拉·梅齐尼,克劳斯·奥斯特曼:
基于Prolog的静态分析的自动增量。 109-123
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/AlbertGHP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/AlbertGHP07网站
埃尔维拉·阿尔伯特,米盖尔·戈梅斯·扎马洛亚,劳伦特·休伯特,杰曼·普埃布拉:
使用逻辑程序分析和转换验证Java字节码。 124-139
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MeraLPCH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MeraLPCH07
爱迪生·梅拉,佩德罗·洛佩斯·加西亚,杰曼·普埃布拉,曼纽尔·卡罗,曼纽尔·埃尔梅内吉尔多:
结合静态分析和分析来估计执行时间。 140-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Rocha07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Rocha07
里卡多·罗查:
提高表评估中表存储机制的效率和健壮性。 155-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Sarna-StarostaR07会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Sarna-StarostaR07
Beata Sarna-Starosta公司,C.R.Ramakrishnan（罗马克里希南）:
编译约束处理规则以实现高效的表式评估。 170-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Costa07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Costa07网站
维托尔·桑托斯·科斯塔:
更大数据集上的Prolog性能。 185-199
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Bond07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Bond07网址
艾伦·H·邦德:
BAD，一种用于大脑建模的基于声明逻辑的语言。 200-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/RafehBMW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/RafehBMW07
雷扎·拉斐,玛丽亚·加西亚·德拉班达,金·马里奥特,马克·华莱士:
从锌到设计模型。 215-229
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/LiuP07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/LiuP07
刘崇兵,恩里科·蓬泰利:
实例模式的归纳逻辑编程。 230-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/PodelskiR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/PodelskiR07网址
安德烈亚斯·波德尔斯基,安德烈·里巴尔琴科:
ARMC：抽象精化软件模型检查的逻辑选择。 245-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/俄罗斯07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Russo07
克劳迪奥·拉索:
Joins并发库。 260-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/黄HP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/黄HP07
黄立文,保罗·哈达克,贝德森:
HPorter：使用箭头组成并行进程。 275-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BerdaguerCPV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BerdaguerCPV07
巴勃罗·贝尔达盖尔,阿尔西诺库尼亚,雨果·帕切科,Joost遮阳板:
XML和SQL的耦合模式转换和数据转换。 290-304
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/梁07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Liang07网址
查克·C·梁:
高阶和线性逻辑中的面向方面编程。 305-319
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/KloseOL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/KloseOL07
卡尔·克洛泽,克劳斯·奥斯特曼,迈克尔·勒谢尔:
切入点的部分评估。 320-334

管理网站设置

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