停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2002年第4届PADL：美国俄勒冈州波特兰

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2002年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2002
克里希纳穆西神社,C.R.Ramakrishnan（罗马克里希南）:
《声明性语言的实用方面》，第四届国际研讨会，2002年PADL，波特兰，俄勒冈州，美国，2002年1月19日至20日，会议记录。计算机科学课堂讲稿2257,施普林格 2002，十亿3-540-43092-X型

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/草地02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Meadows02网站
凯瑟琳·梅多斯:
使用声明语言构建实验分析工具。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Dahl02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Dahl02
维罗尼卡·达尔:
如何与你的电脑对话，以便它能听。 3-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BoyerM02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BoyerM02
罗伯特·博伊尔,J斯特罗瑟·摩尔:
ACL2中的单线程对象。 9-27

常规论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/JayaramanT02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/JayaramanT02网站
巴拉特·贾亚拉曼,帕拉维·坦贝:
使用约束对象建模工程结构。 28-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/梁02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Liang02
查克·C·梁:
高阶逻辑程序设计中的编译器构造。 47-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/托格森02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Torgersson02网站
奥洛夫·托格森:
声明性编程和临床医学。 64-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/GuptaGKPIRMDENZ02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GuptaGKPIRMDENZ02
戈帕尔·古普塔,郭海峰,阿瑟·卡什默,恩里科·蓬泰利,胡安·雷蒙多·伊格莱西亚斯,德什·兰扬,布鲁克·米利根,纳亚纳·达塔,奥马尔·埃尔·哈提卜,穆罕默德·诺阿曼尼,周新鸿:
基于语义的过滤：逻辑编程的杀手应用？ 82-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/JohanssonS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/JohanssonS02
埃里克约翰森,康斯坦蒂诺斯·萨戈纳斯:
高性能Erlang编译器中的线性扫描寄存器分配。 101-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Rhiger02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Rhiger02
莫滕·瑞格:
将嵌入式程序编译为字节码。 120-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/LammelV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/LammelV02
拉尔夫·拉梅尔,Joost遮阳板:
通用遍历的类型组合器。 137-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/WanTH02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padd/WanTH02
战勇丸,瓦利德·塔哈,保罗·哈达克:
事件驱动FRP。 155-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ErwigB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ErwigB02
马丁·埃尔维格,玛格丽特·伯内特:
添加苹果和橙子。 173-191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/蒂曼02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Thiemann02
彼得·蒂曼:
WASH/CGI：带有会话和类型化、合成形式的服务器端Web脚本。 192-208
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Kiselyov02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Kiselyov02
奥列格·基塞利约夫:
通过函数编程实现更好的XML解析器。 209-224
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Karczmarczuk02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Karczmarczuk02
Jerzy Karczmarczuk公司:
纹理生成的函数方法。 225-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/GallagherP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padd/GallagherP02
约翰·加拉赫,杰曼·普埃布拉:
逻辑程序基于集合分析的非确定性有限树自动机抽象解释。 243-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/ShenSNS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ShenSNS02
Kish Shen（基什·申）,约阿希姆·辛普夫,斯特凡诺·诺维洛,乔什:
ECLiPSe外部编程语言的高级通用接口。 262-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BunusF02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BunusF02
彼得·布努斯,彼得·弗里茨森:
基于声明式方程的建模语言的调试方案。 280-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/VandeginsteSD02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/VandeginsteSD02
鲁本·范德金斯特,康斯坦蒂诺斯·萨戈纳斯,巴特·德梅恩:
Prolog的分段保序和生成垃圾回收。 299-317
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/YangG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/YangG02
杨蓉（音）,蒂夫-格雷戈里:
在逻辑程序中开发有效的控制和数据结构。 318-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/CastroSW02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/CastroSW02
路易斯·费尔南多·卡斯特罗,Terrance Swift公司,大卫·斯科特·沃伦:
在发动机中暂停和恢复SLG评估计算。 332-350

服务

管理网站设置

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