Information and Computation, Volume 76

Volume 76, Number 1, 1988

• Paul G. Spirakis: Optimal Parallel Randomized Algorithms for Addition Sparse Addition and Identification. 1-12
• Paul Beame: Limits on the Power of Concurrent-Write Parallel Machines. 13-28
• Flemming Nielson: Strictness Analysis and Denotational Abstract Interpretation. 29-92

Volume 76, Number 2-3, 1988

• Gordon D. Plotkin: Preface. 93
• Thierry Coquand, Gérard P. Huet: The Calculus of Constructions. 95-120
• Peter Padawitz: The Equational Theory of Parameterized Specifications. 121-137
• Luca Cardelli: A Semantics of Multiple Inheritance. 138-164
• Donald Sannella, Andrzej Tarlecki: Specifications in an Arbitrary Institution. 165-210
• John C. Mitchell: Polymorphic Type Inference and Containment. 211-249
• Eugenio Moggi: Partial Morphisms in Categories of Effective Objects. 250-277
• Butler W. Lampson, Rod M. Burstall: Pebble, a Kernel Language for Modules and Abstract Data Types. 278-346