1. A practical general method for constructing LR(k) parsers

   • David Pager

   OriginalPaper Pages: 249 - 268

2. Speicheroptimale Formelübersetzung

   • Werner Kern

   OriginalPaper Pages: 269 - 287

3. Storage schemes for boundedly extendible arrays

   • Arnold L. Rosenberg
   • Larry J. Stockmeyer

   OriginalPaper Pages: 289 - 303

4. Monotone data flow analysis frameworks

   • John B. Kam
   • Jeffrey D. Ullman

   OriginalPaper Pages: 305 - 317

5. On the role of unification in mechanical theorem proving

   • Robert E. Shostak

   OriginalPaper Pages: 319 - 323

6. Addenda and corrigenda

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

   Erratum Pages: 325 - 325