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

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