Iteration of transformation passes over attributed program trees Henk Alblas OriginalPaper Pages: 1 - 40
A model of the dynamic behavior of B-trees Carl E. LangenhopWilliam E. Wright OriginalPaper Pages: 41 - 59
An almost linear Robinson unification algorithm Peter RužičkaIgor Prívara OriginalPaper Pages: 61 - 71
Scattered versus context-sensitive rewriting Jakob GonczarowskiManfred K. Warmuth OriginalPaper Pages: 81 - 95