Publication
-
Linear time simulation of multihead Turing machines with head-to-head jumps : (preprint) Tech Report
January 1977 -
Program text and program structure : (preprint) Tech Report
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
-
January 1977
-
Inleiding tot programmaverificatie Tech Report
January 1977