默认搜索操作

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

问别人

2008年PPDP：西班牙巴伦西亚

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ppdp/2008
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/2008
塞尔吉奥·安托伊,埃尔维拉·阿尔伯特:
2008年7月15日至17日在西班牙巴伦西亚举行的第十届ACM SIGPLAN国际声明性编程原则和实践会议记录。 ACM公司 2008，国际标准图书编号978-1-60558-117-0
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Leuschel08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Leuschel08
迈克尔·勒谢尔:
用于验证的声明性编程：教训和展望。 1-7

并发性和并行性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/OlarteV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/OlarteV08
卡洛斯·奥拉特,弗兰克·D·瓦伦西亚:
通用定时CCP的表现力：Monadic FLTL和闭包运算符的不可判定性。 8-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/SulzmannL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/SulzmannL08
马丁·苏尔兹曼,Edmund S.L.Lam:
并行执行多集约束重写规则。 20-31

理论与语义

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/莫拉莱斯CH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/MoralesCH08
何塞·F·莫拉莱斯,曼纽尔·卡罗,曼纽尔·埃尔梅内吉尔多:
使用抽象机器生成器比较标记方案的变化。 32-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/SilvaO08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/SilvaO08
保罗·席尔瓦,何塞·努诺·奥利维拉:
“Galculator”：基于Galois-connection的证明助手的功能原型。 44-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/PlasmeijerJKA08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/PlasmeijerJKA08
普拉斯梅耶绿脓杆菌,简·马丁·简森,彼得·库普曼,彼得·阿奇顿:
使用iTasks对工作流进行声明性Ajax和客户端评估。 56-66

理论与语义

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/哈努斯08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Hanus08网址
迈克尔·哈纳斯:
功能逻辑程序的调用模式分析。 67-78
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/MarionP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/MarionP08
让-伊夫·马里昂,罗曼·佩乔:
具有更好内涵的多项式复杂性类的特征。 79-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/BertotK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BertotK08
伊夫·贝托特,弗拉基米尔·科门丹斯基:
Coq中的不动点语义和部分递归。 89-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/PaoliniP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/PaoliniP08
卢卡-保利尼,毛罗·皮科洛:
语义线性编程语言。 97-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/LucasM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/LucasM08
萨尔瓦多·卢卡斯,何塞·梅塞盖尔:
按顺序排序的依赖项对。 108-119

语言问题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/ThiemanN08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/ThiemanN08
彼得·蒂曼,马蒂亚斯·纽鲍尔:
无上下文语法的宏。 120-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/苯扎肯CCM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BenzakenCCM08
维罗尼克·本扎肯,朱塞佩·卡斯塔尼亚,达里奥·科拉佐,塞德里克·米阿琼:
示例模式：XML查询的类型驱动的可视化编程。 131-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Lu08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Lu08
Lunjin路:
推理逻辑程序中的精确多态类型依赖。 143-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/黑山PS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/MontenegroPS08
曼努埃尔黑山,里卡多·佩纳,克拉拉·塞古拉:
一种用于安全内存管理的类型系统及其正确性证明。 152-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/PientkaD08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/PientkaD08
布里吉特·皮恩特卡,贾娜·邓菲尔德:
用证明和明确的上下文进行编程。 163-173

推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/MeraLCH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/MeraLCH08
Edison Mera公司,佩德罗·洛佩斯·加西亚,曼纽尔·卡罗,曼纽尔·埃尔梅内吉尔多:
面向抽象机器语言中的执行时间估计。 174-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/CaballeroRR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/CaballeroRR08
拉斐尔·卡巴列罗,马里奥·罗德里格斯-阿塔莱霍,卡洛斯·罗梅罗·迪亚斯:
合格逻辑编程中基于相似性的推理。 185-194

调试和检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/DeckerM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/DeckerM08
亨德里克·德克尔,戴维德·马丁内吉:
根据不一致容差对完整性检查方法进行分类。 195-204
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/ChitilD08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/ChitilD08
奥拉夫·奇蒂尔,托马斯·戴维:
理解用于高阶函数程序算法调试的有限映射。 205-216
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/BertolissiF08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BertolissiF08
克拉拉·贝尔托利西,玛丽贝尔·费尔南德斯:
用于组合访问控制策略的重写框架。 217-225

制约因素

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/FeydySS08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/FeydySS08
蒂鲍特·费迪,安德烈亚斯·舒特,彼得·J·斯塔基:
有限域解算器的全局差分约束传播。 226-235
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/ChenouardGS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/ChenouardGS08
拉斐尔·切诺亚德,劳伦特·格兰维尔（Laurent Granvilliers）,里卡多·索托:
模型驱动的约束编程。 236-246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/SchulteS08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/SchulteS08
克里斯蒂安·舒尔特,彼得·J·斯塔基:
传播求解期间的动态变量消除。 247-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/马丁FHRSV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/MartinFHRSV08
索尼娅·埃斯特·韦斯·马汀,安东尼奥·费尔南德斯,玛丽亚·特蕾莎·霍塔拉-冈萨雷斯,马里奥·罗德里格斯-阿塔莱霍,费尔南多·萨恩斯·佩雷斯,拉斐尔·德尔瓦多·维塞达:
中约束域的合作玩具系统。 258-268

管理网站设置

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