Centrum Wiskunde & Informatica

The intermediate language for pictures : (prepublication) Tech Report

T. Hagen, P.J.W. ten Hagen (Paul), P. Klint (Paul) and H. Noot (Han)

January 1976
A W-grammar for the semantics of integer expressions : (prepublication) Tech Report

L. Ammeraal

January 1976
On forward and backward proof rules for program verification : (prepublication) Tech Report

L. Ammeraal

January 1976
The report on the standard hardware representation for Algol 68 : (prepublication) Tech Report

H.J. Boom and W.J. Hansen

January 1976
A view of coroutines : (prepublication) Tech Report

D. Grune (Dick)

January 1976
Semantics and the foundations of program proving : (prepublication) Tech Report

J.W. de Bakker (Jaco)

January 1976
On the Algol 68 transput conversion routines : (prepublication) Tech Report

J.C. van Vliet (Hans)

January 1976
From abstract variable to concrete representation : (prepublication) Tech Report

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

January 1976

Previous

Next