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 BibTeX
Paul Beame: Limits on the Power of Concurrent-Write Parallel Machines. 13-28 BibTeX
Flemming Nielson: Strictness Analysis and Denotational Abstract Interpretation. 29-92 BibTeX

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