Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

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

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close