Publication

Vergelijking van rekentijden : verslag van de vergelijking van door verschillende vertalers vertaalde programma's op Control Data Cyber 73 computers Tech Report

Taylor-Runge-Kutta methoden Tech Report

P.H.M. Wolkenfelt

Equivalence of operational and denotational semantics for a fragment of Pascal : (prepublication) Tech Report

K.R. Apt (Krzysztof)

Achievable high scores of -moves and running times in DPDA computation : (prepublication) Tech Report

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

The intermediate language for pictures : (prepublication) Tech Report

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

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

L. Ammeraal

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

L. Ammeraal

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

H.J. Boom and W.J. Hansen