1. Iteration of transformation passes over attributed program trees

   • Henk Alblas

   OriginalPaper Pages: 1 - 40

2. A model of the dynamic behavior of B-trees

   • Carl E. Langenhop
   • William E. Wright

   OriginalPaper Pages: 41 - 59

3. An almost linear Robinson unification algorithm

   • Peter Ružička
   • Igor Prívara

   OriginalPaper Pages: 61 - 71

4. A note on synthesis and classification of sorting algorithms

   • K. K. Lau

   OriginalPaper Pages: 73 - 80

5. Scattered versus context-sensitive rewriting

   • Jakob Gonczarowski
   • Manfred K. Warmuth

   OriginalPaper Pages: 81 - 95