Centrum Wiskunde & Informatica

A critical comparison of several implementations of programming languages : (preprint) Tech Report

H.J. Boom and E. de Jong (Edwin)

January 1976
Exercises in denotational semantics Tech Report

K.R. Apt (Krzysztof) and J.W. de Bakker (Jaco)

January 1976
A space-saving technique for assigning Algol 68 multiple values : (prepublication) Tech Report

L.G.L.T. Meertens (Lambert)

January 1976
Correctness proofs for assignment statements : (prepublication) Tech Report

J.W. de Bakker (Jaco)

January 1976
Some elementary proofs of lower-bounds in complexity theory : (prepublication) 2nd ed Tech Report

J. van Leeuwen (Jan) and P. van Emde Boas (Peter)

January 1976
A problem in collateral elaboration Tech Report

R. van Vliet

January 1976
Mini Algol 68 user's guide : 2nd ed Tech Report

L. Ammeraal

January 1976
Ervaringen met de overdracht van de Aleph-compiler van Scope 3.4.1 naar Scope 3.4.4 : ofte wel de software-crisis woedt Tech Report

D. Grune (Dick)

January 1976

Previous

Next