Deterministic buffer synchronization of sequential processes Wolfgang Reisig OriginalPaper Pages: 117 - 134
Further analysis of code generation for a single register machine Lynn Robert Carter OriginalPaper Pages: 135 - 147
Verification of programs with procedure-type parameters George W. ErnstJainendra K. NavlakhaWilliam F. Ogden OriginalPaper Pages: 149 - 169
A longest common subsequence algorithm suitable for similar text strings Narao NakatsuYahiko KambayashiShuzo Yajima OriginalPaper Pages: 171 - 179
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique A. PettorossiR. M. Burstall OriginalPaper Pages: 181 - 206
Lower bounds for on-line two-dimensional packing algorithms Donna J. BrownBrenda S. BakerHoward P. Katseff OriginalPaper Pages: 207 - 225