Bounds on the parallel evaluation of arithmetic expressions using associativity and commutativity David KuckYoichi Muraoka OriginalPaper Pages: 203 - 216
Axiomatic approach to total correctness of programs Zohar MannaAmir Pnueli OriginalPaper Pages: 243 - 263
Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems A. EhrenfeuchtG. Rozenberg OriginalPaper Pages: 265 - 283
On derivation languages corresponding to context-free grammars Martti Penttonen OriginalPaper Pages: 285 - 291
