Memory fragmentation in buddy methods for dynamic storage allocation Allan G. Bromley OriginalPaper Pages: 107 - 117
Hierarchical program specification and verification — a many-sorted logical approach Reiji NakajimaMichio HondaHayao Nakahara OriginalPaper Pages: 135 - 155
On the space optimizing effect of eliminating single productions from LR parsers Eljas Soisalon-Soininen OriginalPaper Pages: 157 - 174