CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1977 -
Separate compilation, definition modules, and block-structured languages : (prepublication) Tech Report
January 1977 -
Towards the design of a super-language of Algol 68 for the standard prelude : (prepublication) Tech Report
January 1977 -
January 1977 -
January 1977 -
ILP, intermediate language for pictures : (preliminary report) Tech Report
T. Hagen, P.J.W. ten Hagen (Paul), P. Klint (Paul) and H. Noot (Han)
January 1977 -
Inleiding tot programmaverificatie Tech Report
January 1977 -
Perturbation theory for games in normal form and stochastic games : (preprint) Tech Report
S.H. Tijs and O.J. Vrieze
January 1977