Centrum Wiskunde & Informatica

A proposal for the translation of Janus into standard Fortran : (preprint) Tech Report

E. de Jong (Edwin)

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
Alice: an exercise in program portability Tech Report

A. P. W. Böhm (Anton)

January 1977
Towards an implementation-oriented definition of the Algol 68 transput Tech Report

J.C. van Vliet (Hans)

January 1977
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

Previous

Next