默认搜索操作

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

问别人

第2 PADL 2000：美国马萨诸塞州波士顿

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

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2000
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2000
恩里科·蓬泰利,维托尔·桑托斯·科斯塔:
《声明性语言的实用方面》，第二次国际研讨会，PADL 2000，美国马萨诸塞州波士顿，2000年1月，会议记录。计算机科学讲义1753,施普林格 2000，国际标准图书编号3-540-66992-2

函数式编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Tullsen00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Tullsen00网址
马克·图尔森:
一流的模式。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/彼得森TS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/PetersonTS00
贝德森,瓦列里·特里福诺夫,安德烈·塞尔扬托夫:
并行功能反应式编程。 16-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/创M00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ChuangM00
Tyng-Ruey Chuang公司,申成木:
使用基于类型的基元进行核心外函数编程。 32-46

功能逻辑编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Hanus00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Hanus00网址
迈克尔·哈努斯:
图形用户界面的函数逻辑编程方法。 47-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MarinoM00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MarinoM00
朱利奥·马里诺,胡安·何塞·莫雷诺-纳瓦罗:
使用静态分析编译非顺序函数逻辑程序。 63-80

逻辑程序设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/DiazC00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/DiazC00
丹尼尔·迪亚兹,菲利普·科多涅:
GNU Prolog：超越将Prolog编译为C。 81-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/DemoenS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/DemoenS00
巴特·德梅恩,康斯坦蒂诺斯·萨戈纳斯:
XSB中的堆垃圾收集：实践与经验。 93-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/周SYY00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ZhouSYY00网址
能发周,易东申,李彦元,嘉惠游:
线性制表机制的实现。 109-123
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/莫雷诺-纳瓦罗M00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Moreno-NavaroM00
胡安·何塞·莫雷诺-纳瓦罗,苏珊娜·穆尼奥斯·亨德斯:
如何在Prolog编译器中加入否定。 124-140

创新应用I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Abreu00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Abreu00网址
萨尔瓦多·阿布鲁:
基于逻辑的信息系统。 141-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/HindeRP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/HindeRP00
克里斯·辛德,理查德·雷德,凯思·菲尔普斯:
HIPPO-一个声明性图形建模系统。 154-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/HuCT00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/HuCT00
镇江湖,魏恩甘钦,Masato Takeichi先生:
计算用于市场篮子分析的新数据挖掘算法。 169-184

约束规划与约束求解

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ChuhHN00文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ChewHN00
Tee Yong Chew公司,马丁·亨兹,Ka Boon Ng公司:
基于约束的推理引擎工具包。 185-199
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Hickey00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Hickey00网址
蒂莫西·J·希基:
CLIP：用于元级约束求解的CLP（Intervals）方言。 200-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Schulte00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Schulte00网址
克里斯蒂安·舒尔特:
编程深度并发约束组合器。 215-229
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/比斯塔雷利CGR00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BistarelliCGR00网址
斯特凡诺·比斯塔雷利,菲利普·科多涅,杨·乔治特,弗朗西丝卡·罗西:
软约束编程的标记和局部一致性。 230-248

系统应用程序

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/KrishnamurthiGG00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/KrishnamurthiGG00
克里希纳穆西神社,凯瑟琳·格雷,保罗·T·葛兰克:
XML的转换示例。 249-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Thiemann00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Thiemann00
彼得·蒂曼:
在Haskell中建模HTML。 263-277
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Yeh00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Yeh00
青龙叶:
支持对象数据库中XML文档条目的逻辑编程方法。 278-292

创新应用II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/YuesMS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/YuesMS00网址
塔利斯·H·尤恩斯,阿纳尔多·维埃拉·莫拉,苏扎城:
求解大规模机组调度问题的混合方法。 293-307
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/GuptaA00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GuptaA00
戈帕尔·古普塔,沙米姆·F·阿克特:
知识表：交互式开发一类约束程序的图形电子表格界面。 308-323

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/罗摩克里希南00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Ramakrishnan00网址
I.V.罗摩克里希南:
逻辑程序设计的当前趋势：前景和前景。 324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Lee00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Lee00
李忠琛:
生产质量证明携带代码。 325

管理网站设置

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