Publication
-
Guidelines for program portability : (preprint) Tech Report
January 1977 -
Keyword grammars : (preprint) Tech Report
January 1977 -
January 1977
-
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