A general proof rule for procedures in predicate transformer semantics Alain J. Martin OriginalPaper Pages: 301 - 313
A relational approach to the design of deterministic programs Ali Mili OriginalPaper Pages: 315 - 328
On the performance evaluation of extendible hashing and trie searching Philippe Flajolet OriginalPaper Pages: 345 - 369
Is text compression by prefixes and suffixes practical? A. S. FraenkelM. MorY. Perl OriginalPaper Pages: 371 - 389
On the generative power of regular pattern grammars H. C. M. KleijnG. Rozenberg OriginalPaper Pages: 391 - 411