8.PLILP 1996:德国亚琛
赫伯特·库欣 , S.Doaitse Swierstra公司 :
编程语言:实现、逻辑和程序,第八届国际研讨会,PLILP’96,德国亚琛,1996年9月24日至27日,会议记录。 计算机科学课堂讲稿 1140, 施普林格 1996 ,十亿 3-540-61756-6
邀请的谈话
兰伯特·G·L·T·梅滕斯 :
计算多项式! 1-16
打字和结构系统
斯特凡·卡尔斯 :
ML-可定义性的限制。 17-31 吉安娜·贝尔 , C.巴里·杰伊 , 尤金尼奥·莫吉 :
函数ML。 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
实施问题
克里斯托夫·凯勒(Christoph W.Keßler) :
调度表达式DAG以满足最小注册需求。 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
Lambda-微积分和重写
Fairouz Kamaredine公司 , 亚历杭德罗·里奥斯 :
广义β-约化与显式替换。 378-392 Zine-El-Abidine Benaissa公司 , 皮埃尔·莱斯坎 , 克里斯托弗·Högsbro Rose :
使用显式替换为弱约简策略建模共享和递归。 393-407 萨尔瓦多·卢卡斯 :
合流程序中的上下文敏感计算。 408-422
约束条件
彼得·J·斯塔基 , 文森特·W.L.Tam :
约束逻辑编程中使用随机约束求解器的模型。 423-437 不过研究人员凡洛伊 , 迈克尔·梅尔 , 拉尔夫·谢德豪尔 :
将高效记录集成到并发约束编程中。 438-453
演绎数据库语言
刘梦驰 :
LOL演绎数据库编程语言(扩展抽象)。 454-468
海报和演示
克里斯蒂安·费希特 :
逻辑程序的高效精确共享域。 469-470 镇江湖 , 岩崎秀也 , Masato Takeichi先生 :
计算形式的廉价拖布。 471-472 塞尔吉奥·安托伊 :
Prolog中需要缩小范围(扩展抽象)。 473-474 杰曼·普埃布拉 , 曼纽尔·埃尔梅内吉尔多 :
逻辑程序中动态调度的自动优化。 475-476 克里斯蒂安·舒尔特 :
Oz Explorer:可视化约束编程工具。 477-478