CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Semantics and proof theory of Pascal procedures Tech Report
January 1977 -
Linear time simulation of multihead Turing machines with head-to-head jumps : (preprint) Tech Report
January 1977 -
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