Centrum Wiskunde & Informatica

Flow of control in the proof theory of structured programming : (prepublicationn) Tech Report

J.W. de Bakker (Jaco)

January 1975
Parsing Algol 68 with syntax-directed error recovery Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1975
The MC Algol 68 test set Tech Report

D. Grune (Dick)

January 1975
Designing a beginners' programming language : (prepublication) Tech Report

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

January 1975
Repairing the parenthesis skeleton of Algol 68 programs: proof of correctness : (prepublication) Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1975
Textual management in an Algol 68 compiler Tech Report

H.J. Boom and D. Grune (Dick)

January 1975
The halting problem for linear Turing assemblers Tech Report

R.M. Baer and J. van Leeuwen (Jan)

January 1975
Some elementary proofs of lower-bounds in complexity-theory : (prepublication) Tech Report

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

January 1975

Previous

Next