1. Deterministic buffer synchronization of sequential processes

   • Wolfgang Reisig

   OriginalPaper Pages: 117 - 134

2. Further analysis of code generation for a single register machine

   • Lynn Robert Carter

   OriginalPaper Pages: 135 - 147

3. Verification of programs with procedure-type parameters

   • George W. Ernst
   • Jainendra K. Navlakha
   • William F. Ogden

   OriginalPaper Pages: 149 - 169

4. A longest common subsequence algorithm suitable for similar text strings

   • Narao Nakatsu
   • Yahiko Kambayashi
   • Shuzo Yajima

   OriginalPaper Pages: 171 - 179

5. Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique

   • A. Pettorossi
   • R. M. Burstall

   OriginalPaper Pages: 181 - 206

6. Lower bounds for on-line two-dimensional packing algorithms

   • Donna J. Brown
   • Brenda S. Baker
   • Howard P. Katseff

   OriginalPaper Pages: 207 - 225