Acta Informatica, Volume 5

Volume 5, 1975

• Adriaan van Wijngaarden, B. J. Mailloux, J. E. L. Peck, Cornelis H. A. Koster, Michel Sintzoff, C. H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker:
  Revised Report on the Algorithmic Language ALGOL 68. 1-236
  
• Jürgen Nehmer:
  Dispatcher Primitives for the Construction of Operating System Kernels. 237-255
  
• Wolfgang K. Giloi, José L. Encarnação, S. Savitt:
  Interactaive Graphics on Intelligent Terminals in a Time-Sharing Environment. 257-271
  
• John R. Rice:
  Parallel Algorithms for Adaptive Quadrature II Metalgorithm Correctness. 273-285
  
• Kurt Mehlhorn:
  Nearly Optimal Binary Search Trees. 287-295
  
• Peter E. Lauer, Roy H. Campbell:
  Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. 297-332
  ->Addenda and Corrigenda: Acta Informatica 7: 325 (1977)
• Shmuel Katz, Zohar Manna:
  A Closer Look at Termination. 333-352
  
• Peter Deussen:
  A Decidability Criterion for van Wijngaarden Grammars. 353-375
  
• Seymour Ginsburg, Edwin H. Spanier:
  Substitution of Grammar Forms. 377-386
  
• P. F. Schuler:
  A Note on Degrees of Context-Sensitivity. 387-394
  

Last update Mon Feb 13 04:43:35 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page