Centrum Wiskunde & Informatica

On the completeness of the inductive assertion method : (prepublication) Tech Report

J.W. de Bakker (Jaco) and L.G.L.T. Meertens (Lambert)

January 1973
A note on nonrecursive and deterministic Lindenmayer languages : (prepublication) Tech Report

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

January 1973
Aleph, a language encouraging program hierarchy Tech Report

R. Bosch, D. Grune (Dick) and L.G.L.T. Meertens (Lambert)

January 1973
Proposals for the representation of Algol 68 programs Tech Report

T.J. Dekker and D. Grune (Dick)

January 1973
An interpreter for simple Algol 68 programs Tech Report

L. Ammeraal

January 1973
Operational and mathematical semantics for recursive polyadic program schemata (extended abstract) : (proceedings of Symposium and summer school mathematical foundations of computer science, High Tatras, 03-08.09.1973, p 293-298) Tech Report

W.P. de Roever

January 1973
Grammar-handling tools applied to Algol 68 Tech Report

D. Grune (Dick), L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1973
Design and implementation of an Algol 68 virtual machine Tech Report

A.S. Tanenbaum (Andrew)

January 1973

Previous

Next