Publication
-
Completeness with finite systems of intermediate assertions for recursive program schemes : (preprint) Tech Report
January 1977 -
January 1977 -
January 1977 -
How good can a graph be n-colored? : (preprint) Tech Report
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 -
Program text and program structure : (preprint) Tech Report
January 1977 -
Separate compilation, definition modules, and block-structured languages : (prepublication) Tech Report
January 1977