CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Completeness with finite systems of intermediate assertions for recursive program schemes : (preprint) Tech Report
January 1977 -
January 1977 -
January 1977 -
January 1977 -
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