CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1977 -
January 1977 -
January 1977 -
Recursive assertions are not enough, or are they? Tech Report
K.R. Apt (Krzysztof), J.A. Bergstra (Jan) and L.G.L.T. Meertens (Lambert)
January 1977 -
January 1977 -
January 1977 -
Choosing a tag-list algorithm for a compiler with special application to the Aleph compiler : (preprint) Tech Report
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