A mechanically verified incremental garbage collector David M. Russinoff OriginalPaper Pages: 359 - 390
Object-extending class transformations Karl J. LieberherrWalter L. HürschCun Xiao OriginalPaper Pages: 391 - 416
Correct translation of data parallel assignment onto array processors J. P. WrayA. Stewart OriginalPaper Pages: 417 - 439
Error in the UNITY substitution rule for subscripted operators I. S. W. B. Prasetya Short Communication Pages: 466 - 470