1. Memory fragmentation in buddy methods for dynamic storage allocation

   • Allan G. Bromley

   OriginalPaper Pages: 107 - 117

2. Optimum multiway search trees

   • V. K. Vaishnavi
   • H. P. Kriegel
   • D. Wood

   OriginalPaper Pages: 119 - 133

3. Hierarchical program specification and verification — a many-sorted logical approach

   • Reiji Nakajima
   • Michio Honda
   • Hayao Nakahara

   OriginalPaper Pages: 135 - 155

4. On the space optimizing effect of eliminating single productions from LR parsers

   • Eljas Soisalon-Soininen

   OriginalPaper Pages: 157 - 174

5. On parsing two-level grammars

   • Lutz Michael Wegner

   OriginalPaper Pages: 175 - 193