ACM Computing Surveys, Volume 18

Volume 18, Number 1, March 1986

• Ronald H. Perrott, Adib Zarea-Aliabadi:
  Supercomputer Languages. 5-22
  
• Zvi Galil:
  Efficient Algorithms for Finding Maximum Matching in Graphs. 23-38
  
• Jayadev Misra:
  Distributed Discrete-Event Simulation. 39-65
  
• Roland T. Chin, Charles R. Dyer:
  Model-Based Recognition in Robot Vision. 67-108
  

Volume 18, Number 2, June 1986

• Nancy G. Leveson:
  Software Safety: Why, What, and How. 125-163
  
• Rudy Hirschheim:
  The Effect of A Priori Views on the Social Implications of Computing: The Case of Office Automation. 165-195
  
• Toby J. Teorey, Dongqing Yang, James P. Fry:
  A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model. 197-222
  

Volume 18, Number 3, September 1986

• Ali Mili, Jules Desharnais:
  Formal Models of Stepwise Refinement of Programs. 231-276
  , corrigendum: ACM Computing Survey 19(2): 195 (1987)
• Barbara G. Ryder, Marvin C. Paull:
  Elimination Algorithms for Data Flow Analysis. 277-316
  

Volume 18, Number 4, December 1986

• Carlo Batini, Maurizio Lenzerini, Shamkant B. Navathe:
  A Comparative Analysis of Methodologies for Database Schema Integration. 323-364
  
• Arthur H. Veen:
  Dataflow Machine Architecture. 365-396