缺少摘要。
- 计算Polytypical！兰伯特·G·L·T·梅滕斯.1-16
- ML-可定义性的限制斯特凡·卡尔斯.17-31
- 功能ML吉安娜·贝尔,C.巴里·杰伊,尤金尼奥·莫吉.32-46
- 类型Prolog和lambda Prolog的参数多态性帕斯卡尔·卢韦,奥利维尔·里杜克斯.47-61
- GOTA代数：继承和对象层次的规范形式主义约阿昆·马特奥斯·拉戈,马里奥·罗德里格斯-阿塔莱霍.62-76
- 在CLP中走向独立和并行玛丽亚·加西亚·德拉班达,弗朗西斯科·布埃诺,曼纽尔·埃尔梅内吉尔多.77-91
- Prolog抽象分析的带注释结构形状图杰弗里·韦耶,威廉·温斯伯勒.92-106
- 一种基于ROBDD的Pos被动实现罗伯托·巴格纳拉.107-121
- 动态属性语法迪迪埃·帕里戈特,吉尔斯·罗塞尔,马丁·乔丹,埃蒂安·杜利斯.122-136
- 逻辑程序专业化：如何更具体迈克尔·勒谢尔,丹尼·德·施雷耶.137-151
- 控制连接部分演绎罗伯特·格莱克,杰斯珀·约根森,伯恩·马滕斯,莫滕·海因·瑟伦森.152-166
- 并行过程的展开/折叠变换尼科莱塔·德·弗朗西斯科,安东内拉·桑通.167-181
- 基于语义的编译：面向类型的部分求值实例研究奥利维尔·丹维,勒内·维斯特加德.182-197
- 实现部分评估的记忆彼得·蒂曼.198-212
- 高阶森林砍伐杰夫·W·汉密尔顿.213-227
- 满足最小注册需求的表达式DAG调度克里斯托夫·凯勒（Christoph W.Keßler）.228-242
- 超越深度优先：通过替代调度策略改进表逻辑程序朱莉安娜·弗雷尔,Terrance Swift公司,大卫·斯科特·沃伦.243-258
- 程序共享：Prolog的一种新的实现方法李西宁.259-273
- 分治并行性的系统提取与实现谢尔盖·戈拉奇.274-288
- 功能骨架在Eden中生成流程拓扑路易斯·加兰,克里斯托巴尔·帕雷加,里卡多·佩纳.289-303
- ProFun-可执行规范语言托马斯·盖尔克,迈克拉·胡恩.304-318
- 从术语重写到广义交互网玛丽贝尔·费尔南德斯,伊恩·麦基.319-333
- 模签名的类型同构玛丽亚·维吉尼亚·阿蓬特,罗贝多·迪·科斯莫.334-346
- 逻辑程序语义的可判定性及其在测试中的应用萨尔瓦托·鲁杰里.347-362
- PIDGETS-在基于约束的并发功能GUI编程框架中统一图片和小部件埃诺·舒尔茨.363-377
- 广义β-约化与显式替换Fairouz Kamaredine公司,亚历杭德罗·里奥斯.378-392
- 基于显式替换的弱约简策略的共享和递归建模Zine-El-Abidine Benaissa公司,皮埃尔·莱斯坎,克里斯托弗·Högsbro Rose.393-407
- 合流程序中的上下文敏感计算萨尔瓦多·卢卡斯.408-422
- 约束逻辑编程中使用随机约束求解器的模型彼得·J·斯塔基,谭文生.423-437
- 将高效记录集成到并发约束编程中不过研究人员凡洛伊,迈克尔·梅尔,拉尔夫·谢德豪尔.438-453
- LOL演绎数据库编程语言（扩展抽象）刘梦驰.454-468
- 一种高效精确的逻辑程序共享域克里斯蒂安·费希特.469-470
- 计算形式的廉价拖布镇江湖,岩崎秀也,Masato Takeichi先生.471-472
- Prolog中需要缩小范围（扩展抽象）塞尔吉奥·安托伊.473-474
- 逻辑程序动态调度的自动优化杰曼·普埃布拉,曼纽尔·埃尔梅内吉尔多.475-476
- Oz Explorer：可视化约束编程工具克里斯蒂安·舒尔特.477-478