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 BibTeX
- Jürgen Nehmer:
Dispatcher Primitives for the Construction of Operating System Kernels.
237-255 BibTeX
- Wolfgang K. Giloi, José L. Encarnação, S. Savitt:
Interactaive Graphics on Intelligent Terminals in a Time-Sharing Environment.
257-271 BibTeX
- John R. Rice:
Parallel Algorithms for Adaptive Quadrature II Metalgorithm Correctness.
273-285 BibTeX
- Kurt Mehlhorn:
Nearly Optimal Binary Search Trees.
287-295 BibTeX
- Peter E. Lauer, Roy H. Campbell:
Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes.
297-332 BibTeX
->Addenda and Corrigenda:
Acta Informatica 7: 325 (1977)
- Shmuel Katz, Zohar Manna:
A Closer Look at Termination.
333-352 BibTeX
- Peter Deussen:
A Decidability Criterion for van Wijngaarden Grammars.
353-375 BibTeX
- Seymour Ginsburg, Edwin H. Spanier:
Substitution of Grammar Forms.
377-386 BibTeX
- P. F. Schuler:
A Note on Degrees of Context-Sensitivity.
387-394 BibTeX
Copyright © Sat May 16 23:49:20 2009
by Michael Ley (ley@uni-trier.de)