1987年第14届POPL:德国慕尼黑
-
1987年1月21日至23日在德国慕尼黑举行的第十四届ACM编程语言原则年度研讨会的会议记录。 美国计算机协会出版社 1987 ,国际标准图书编号 0-89791-215-2 佐哈尔·曼纳 , 阿米尔·普努利 :
Forall Automata并发程序的规范和验证。 1-12 赫利希 , 珍妮特·温格(Jeannette M.Wing) :
并发对象的公理。 13-26 珍妮弗·维多姆 , 格里斯 , 弗雷德·施耐德 :
基于痕迹的网络证明系统的完整性和不完整性。 27-38 皮埃尔·朱弗洛特 :
语义平行化:抽象解释的实践练习。 39-48 维杰·萨拉斯瓦特 :
并发逻辑程序设计语言CP:定义和操作语义。 49-62 兰迪·阿伦 , 大卫·卡拉汉 , 肯·肯尼迪 :
并行执行科学程序的自动分解。 63-76 尤金·科尔贝克 , 米切尔·旺德 :
宏实例:从其规范派生句法转换。 77-84 蔡佳珍 , 罗伯特·佩奇 :
语言设计时的绑定性能。 85-97 大卫·盖勒特 , 苏雷什·贾甘纳森 , 托马斯·伦敦 :
作为一类对象的环境。 98-110 佐克森·贾法尔 , Jean-Louis Lassez女士 :
约束逻辑编程。 111-119 弗莱明·尼尔森 :
严格性分析与指称性抽象解释。 120-131 科迪莉亚·V·霍尔 , 大卫·S·怀斯 :
将严格性编译为流。 132-143 宗敏国 , Prateek Mishra公司 :
论严格及其分析。 144-155 Drew Moshier先生 , 威廉·C·罗兹 :
部分指定数据结构的逻辑。 156-167 大卫·R·蔡斯 :
自下而上树模式匹配的改进。 168-177 保罗·卡斯皮 , 丹尼尔·皮劳 , 尼古拉斯·哈尔巴赫斯 , 约翰·普莱斯 :
Lustre:同步系统编程的声明性语言。 178-188 Krzysztof R.Apt公司 , 尼西姆·弗朗切斯 , Shmuel Katz先生 :
评估分布式编程语言的公平性。 189-198 尤金·W·斯塔克 :
过程网络的并发转换系统语义。 199-210 弗兰克·J·奥利斯 :
没有Powerdomains的并发语义。 211-222 科尼莉斯·惠泽 , 罗布·格思 , 威廉·德罗弗 :
Occam类语言实时表示语义的完整抽象。 223-237 瓦尔·坦宁 , 阿尔伯特·梅耶 :
可计算值可以是经典值。 238-245 丹尼尔·利万特 , 蒂姆·费尔南多 :
相对完整性的瘦弱和肉质缺陷。 246-252 阿尔伯特·梅耶 , 约翰·米切尔 , 尤金尼奥·莫吉 , 理查德·斯塔特曼 :
多态Lambda微积分中的空类型。 253-262 大卫伯恩斯坦 , 杰弗里·贾菲 , 迈克尔·罗德 :
无溢出并行调度算法和加载操作。 263-273 安妮·奈瑞克 , 普拉卡什·帕南加登 , 阿兰·德默斯 :
别名和支持集的计算。 274-283 李忠琛 , 乌韦·F·普列班 :
一个基于高级语义的真实编译器生成器。 284-295 大卫·R·切里顿 , 迈克尔·沃尔夫 :
传统编程语言中多模块记录的扩展。 296-306 菲利普·沃德勒 :
视图:一种通过数据抽象实现模式匹配的方法。 307-313 马提亚斯·费莱森 , 丹尼尔·弗里德曼 :
高阶语言赋值的微积分。 314-325