默认搜索操作

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

问别人

1999年第1次PADL：美国德克萨斯州圣安东尼奥

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/1999年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/1999
戈帕尔·古普塔:
声明语言的实践方面，第一次国际研讨会，PADL’99，美国得克萨斯州圣安东尼奥，1999年1月18日至19日，会议记录。计算机科学课堂讲稿1551,施普林格 1998，国际标准图书编号3-540-65527-1

软件工程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MossR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MossR99
格雷姆·莫斯,科林·伦西曼:
功能数据结构的自动基准测试。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/CadoliPSV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/CadoliPSV99
马可·卡多利,路易吉·帕洛波利,安德烈亚·谢尔夫,多梅尼科·瓦西莱:
NP-SPEC：一种用于解决NP中所有问题的可执行规范语言。 16-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/LetelierSR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/LetelierSR99
帕特里西奥·莱特利耶,佩德罗·桑切斯,伊西德罗·拉莫斯:
通过自动生成的并发逻辑程序原型化需求规范。 31-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BozzanoDMMZ99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BozzanoDMMZ99
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利,维维亚娜·马斯卡迪,弗洛里亚诺·齐尼:
作为软件工程企业的多代理系统开发。 46-60

创新应用I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Elliott文件99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Elliott99
科纳尔·埃利奥特:
从功能动画到基于精灵的显示。 61-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Kahl99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Kahl99
沃尔夫拉姆·卡尔:
超越漂亮打印：文档格式组合器中的厨房概念。 76-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/PetersonHE99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/PetersonHE99
贝德森,保罗·哈达克,科纳尔·埃利奥特:
运动中的兰姆达：用哈斯克尔控制机器人。 91-105

实施

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/DemoenS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/DemoenS99
巴特·德梅恩,康斯坦蒂诺斯·萨戈纳斯:
CHAT：复制-混合制表方法。 106-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/SilvaDBC99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/SilvaDBC99
马西奥·G·席尔瓦,卡斯特罗·杜特拉,里卡多·比安奇尼,维托尔·桑托斯·科斯塔:
体系结构参数对并行逻辑编程系统性能的影响。 122-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/RochaSC99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/RochaSC99
里卡多·罗查,费尔南多·M·A·席尔瓦,维克托·桑托斯·科斯塔:
表格中的或并行性。 137-151

声明性查询处理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MattssonNNW99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MattssonNNW99
哈坎·马特森,汉斯·尼尔森,克莱斯·维克斯特伦:
Mnesia-用于电信应用的分布式健壮DBMS。 152-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/SiddabathuniDU99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/SiddabathuniDU99
Babu Siddabathuni先生,苏珊·迪特里希,苏珊·达林·厄本:
一种基于AQUA的中间语言，用于评估主动演绎面向对象语言。 164-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/HakliNTU99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/HakliNTU99
劳尔·哈克利,马蒂·尼卡宁,海利斯·塔姆,埃斯科·乌科宁:
通过字符串重组实现声明性字符串查询语言。 179-195

系统应用程序

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/MeijerLH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/MeijerLH99
梅耶尔,Daan Leijen公司,詹姆斯·胡克:
使用HaskellScript编写客户端Web脚本。 196-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/JefferyDS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/JefferyDS99
大卫·杰弗里,泰森·多德,佐尔坦·索莫吉:
MCORBA：汞的CORBA绑定。 211-227

分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Xi99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Xi99
西红卫:
通过依赖类型消除死代码。 228-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/FerreiraD99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/FerreiraD99
米歇尔·费雷拉,路易斯·达马斯:
WAM代码的多重专业化。 243-258
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Vasconcelos99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Vasconcelos99
Wamberto Weber Vasconcelos公司:
逻辑程序动态和静态切片的灵活框架。 259-274

创新应用II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/BansalB99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/BansalB99
阿尔文德·班萨尔,而参与研究的伯克:
应用逻辑编程推导基因组的新功能信息。 275-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Watson99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Watson99
理查德·沃森:
动作理论在航天飞机上的应用。 290-304
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Soininen99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/SoininenN99
蒂莫·索尼宁,伊尔卡·尼梅尔:
为产品配置中的应用程序开发声明性规则语言。 305-319

约束程序设计

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/GoltzM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GoltzM99
汉斯·约阿希姆·戈尔茨,德克·马茨克:
使用约束逻辑编程的大学时间表。 320-334
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/CarlssonKA99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/CarlssonKA99
Mats Carlsson公司,佩·克鲁格,埃米尔·奥斯特罗姆:
钢铁制造中基于约束的资源分配与调度。 335-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Lai99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Lai99
克劳德·拉伊:
在CLP调试的本地校对中使用约束。 350-359

声明语言与软件工程（应邀）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Schmidt99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Schmidt99
大卫·A·施密特:
回归优雅：声明性符号在软件设计中的重新应用。 360-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/WallaceS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/WallaceS99
马克·华莱士,约阿希姆·辛普夫:
ECLiPSe：声明性规范和可扩展实现。 365-366

管理网站设置

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