Centrum Wiskunde & Informatica

Choosing a tag-list algorithm for a compiler with special application to the Aleph compiler : (preprint) Tech Report

D. Grune (Dick)

January 1977
Guidelines for program portability : (preprint) Tech Report

A.S. Tanenbaum (Andrew), P. Klint (Paul) and A. P. W. Böhm (Anton)

January 1977
Keyword grammars : (preprint) Tech Report

L.J.M. Geurts (Leo) and L.G.L.T. Meertens (Lambert)

January 1977
Formula simplification in relation to program verification Tech Report

L. Ammeraal

January 1977
Completeness with finite systems of intermediate assertions for recursive program schemes : (preprint) Tech Report

K.R. Apt (Krzysztof) and L.G.L.T. Meertens (Lambert)

January 1977
Recursive programs as predicate transformers : (preprint) Tech Report

J.W. de Bakker (Jaco)

January 1977
Semantics of infinite processes using generalized trees Tech Report

J.W. de Bakker (Jaco)

January 1977
How good can a graph be n-colored? : (preprint) Tech Report

P.M.B. Vitányi (Paul)

January 1977

Previous

Next