1. Dispatcher primitives for the construction of operating system kernels

   • J. Nehmer

   OriginalPaper Pages: 237 - 255

2. Interactive graphics on intelligent terminals in a time-sharing environment

   • W. K. Giloi
   • J. Encarnacao
   • S. Savitt

   OriginalPaper Pages: 257 - 271

3. Parallel algorithms for adaptive quadrature II metalgorithm correctness

   • John R. Rice

   OriginalPaper Pages: 273 - 285

4. Nearly optimal binary search trees

   • Kurt Mehlhorn

   OriginalPaper Pages: 287 - 295

5. Formal semantics of a class of high-level primitives for coordinating concurrent processes

   • P. E. Lauer
   • R. H. Campbell

   OriginalPaper Pages: 297 - 332

6. A closer look at termination

   • Shmuel Katz
   • Zohar Manna

   OriginalPaper Pages: 333 - 352

7. A decidability criterion for van Wijngaarden grammars

   • P. Deussen

   OriginalPaper Pages: 353 - 375

8. Substitution of grammar forms

   • Seymour Ginsburg
   • Edwin H. Spanier

   OriginalPaper Pages: 377 - 386

9. A note on degrees of context-sensitivity

   • P. F. Schuler

   OriginalPaper Pages: 387 - 394