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 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
A critical comparison of several implementations of programming languages : (preprint) Tech Report

H.J. Boom and E. de Jong (Edwin)

January 1976
Exercises in denotational semantics Tech Report

K.R. Apt (Krzysztof) and J.W. de Bakker (Jaco)

January 1976

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