Centrum Wiskunde & Informatica

Textual management in an Algol 68 compiler Tech Report

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

January 1975
Termination of nondeterministic programs Tech Report

J.W. de Bakker (Jaco)

January 1975
Context sensitive table Lindenmayer languages and a relation to the LBA problem : (prepublication) Tech Report

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

January 1975
Extending a run-time stack with some registers : (prepublication) Tech Report

L. Ammeraal

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

J.W. de Bakker (Jaco)

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

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

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