1. Language design methods based on semantic principles

   • R. D. Tennent

   OriginalPaper Pages: 97 - 112

2. On an equivalence between continuation and stack semantics

   • Bruce Russell

   OriginalPaper Pages: 113 - 123

3. Backtracking in recursive computations

   • Nissim Francez
   • Boris Klebansky
   • Amir Pnueli

   OriginalPaper Pages: 125 - 144

4. Rules of inference for procedure calls

   • George W. Ernst

   OriginalPaper Pages: 145 - 152

5. Scheduling according to job priority with prevention of deadlock and permanent blocking

   • Bo Munch-Andersen
   • Torben U. Zahle

   OriginalPaper Pages: 153 - 175

6. Iterative arrays with direct central control

   • Joel I. Seiferas

   OriginalPaper Pages: 177 - 192

7. Van wijngaarden grammars and space complexity class EXSPACE

   • P. Deussen
   • K. Mehlhorn

   OriginalPaper Pages: 193 - 199