信息与计算,第76卷
1988年第76卷第1期
保罗·G·斯皮拉基斯 :
加法稀疏加法和识别的最优并行随机化算法。 1-12 保罗·比姆 :
并发写入并行机的功率限制。 13-28 弗莱明·尼尔森 :
严格性分析与指称性抽象解释。 29-92
1988年第76卷第2-3期
戈登·普洛金 :
前言。 93 蒂埃里·科昆 , 热拉尔·休特 :
构造微积分。 95-120 彼得·帕达维茨 :
参数化规范的等式理论。 121-137 鲁卡·凯德利 :
多重继承的语义学。 138-164 唐纳德·桑内拉 , 安德烈·塔莱基 :
任意机构的规范。 165-210 约翰·C·米切尔 :
多态类型推断和包含。 211-249 尤金尼奥·莫吉 :
有效物体类别中的部分形态。 250-277 巴特勒·W·兰普森 , 罗德·M·伯斯托尔 :
Pebble,一种用于模块和抽象数据类型的内核语言。 278-346
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)