1. Program analysis and optimization through kernel-control decomposition

   • Terrence Pratt

   OriginalPaper Pages: 195 - 216

2. Design and correctness of a compiler for a non-procedural language

   • Christoph M. Hoffmann

   OriginalPaper Pages: 217 - 241

3. Orthogonality of information structures

   • Armin B. Cremers
   • Thomas N. Hibbard

   OriginalPaper Pages: 243 - 261

4. Bin packing: Maximizing the number of pieces packed

   • E. G. Coffman Jr.
   • J. Y. -T. Leung
   • D. W. Ting

   OriginalPaper Pages: 263 - 271

5. Data encodings and their costs

   • Arnold L. Rosenberg

   OriginalPaper Pages: 273 - 292