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
  

Last update Fri May 24 20:21:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page