默认搜索操作

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

问别人

PPDP 2000：加拿大蒙特利尔

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/2000
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/2000
毛里齐奥·加布里埃利,弗兰克·普芬宁:
2000年9月20日至23日，加拿大蒙特利尔，第二届ACM SIGPLAN国际声明性编程原则和实践会议记录。 ACM公司 2000，国际标准图书编号1-58113-265-4

受邀演讲人

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Panangaden00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Panangaden00网址
普拉卡什·帕南加登:
从逻辑到随机过程（仅抽象）。 1-2

第一次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/PediciniQ00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/PediciniQ00
马可·佩迪奇尼,弗朗西斯科·夸利亚:
优化lambda演算归约的并行实现。 3-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/PowerR00文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/PowerR00
约翰·鲍尔,埃德蒙·罗宾逊:
逻辑关系、数据抽象和结构化推理。 15-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Rocca00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Rocca00
西蒙娜·隆奇·德尔拉·罗卡:
操作语义和扩展性。 24-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/JohanssonPS00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/JohanssonPS00网址
埃里克约翰森,米凯尔·佩特森,康斯坦蒂诺斯·萨戈纳斯:
高性能Erlang系统。 32-43

受邀演讲人

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/传真00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Fages00
弗朗索瓦·法赫斯:
并发约束编程和线性逻辑（抽象）。 44

第二次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Giavitto00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Giavitto00
吉安·路易斯·贾维托:
数据结构递归定义的框架。 45-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/埃利奥特00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Elliott00网址
科纳尔·埃利奥特:
声明性面向事件的编程。 56-67

第三次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Polakow00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Polakow00网址
杰夫·波拉科:
具有有序上下文的线性逻辑编程。 68-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Faggian00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Faggian00网址
克劳迪娅·法根:
证明结构和非交换性：一个簇演算。 80-91
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/波扎诺DM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BozzanoDM00网站
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
线性逻辑程序的自下而上语义。 92-102

第四次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/BagnaraZH00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BagnaraZH00
罗伯托·巴格纳拉,埃娜·扎法内拉,帕特里夏·M·希尔:
增强的共享分析技术：综合评估。 103-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/GiacobazziM00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/GiacobazziM00
罗伯托·贾科巴齐,伊莎贝拉·马斯特罗尼:
通过域互补来描述对称语义。 115-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/PierroW00文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/PierroW00网址
亚历山德拉·迪·皮耶罗,赫伯特·威克利基:
并发约束编程：面向概率抽象解释。 127-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Gramlich00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Gramlich00网址
伯恩哈德·格拉姆利希:
通过预处理简化重写系统的终止证明。 139-150

第五次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/贝克韦尔R00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BakewellR00
亚当·贝克韦尔,科林·伦西曼:
用于比较惰性计算器的空间使用情况的模型。 151-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Ayala-RinconK00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Ayala-RinconK00
毛里西奥·阿亚拉·林科,Fairouz Kamaredine公司:
统一通过秒_{e（电子）}-显式替换的样式。 163-174

受邀演讲人

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Necula00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Necula00网址
乔治·C·内库拉:
防错代码：设计、实现和应用（摘要）。 175-177

第六次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/RoychoudhuryRR00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/RoychoudhuryRR00
阿布希克·罗乔杜里,C.R.Ramakrishnan（罗马克里希南）,I.V.罗摩克里希南:
使用备忘表证明证据的合理性。 178-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/CalcagnoIO00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/CalcagnoIO00
克里斯蒂亚诺·卡尔卡尼奥,萨明·伊斯蒂亚克,彼得·W·奥赫恩:
Hoare逻辑351292中指针别名、分配和处理的语义分析。 190-201

第七次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/哈努斯S00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/HanusS00
迈克尔·哈纳斯,弗兰克·斯坦纳:
功能逻辑程序中基于类型的非确定性检查。 202-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Lu00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Lu00
Lunjin路:
逻辑程序的精确类型分析。 214-225
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/KollerM00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/KollerM00
约格·科勒,马库斯·莫赫宁:
使用组件式同态进行有效的抽象解释。 226-234

第八次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/PelovB00文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/PelovB00
尼古拉·佩洛夫,莫里斯·布鲁诺吉:
用开放函数扩展约束逻辑编程。 235-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Li00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Li00
李西宁:
合并堆/堆栈序言机器中的高效内存管理。 245-256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/TodoranP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/TodoranP00
埃妮娅·托多拉,尼古拉·帕帕斯普鲁:
并行逻辑编程的延续。 257-267

第九次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/LeuschelL00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/LeuschelL00
迈克尔·勒谢尔,赫尔科·莱曼:
用部分演绎法求解petri网的覆盖性问题。 268-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/HylandP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/HylandP00
马丁·海兰德,约翰·鲍尔:
对称单体草图。 280-288
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/HamonP00文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/HamonP00
格雷戈伊尔·哈蒙,马克·普泽特:
同步数据流程序的模块化重置。 289-300

管理网站设置

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