Affiliation:
1. IBM Thomas J Watson Research Center, P O Box 218, Yorktown Heights, NY
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference8 articles.
1. Proving Theorems about LISP Functions
2. COOK S A Axtomat~c and mterpretwe semanucs for an Algol fragment Tech Pep No 79 Dept of Comptr Scl U of Toronto Toronto Ont~o Canada Feb 1975 COOK S A Axtomat~c and mterpretwe semanucs for an Algol fragment Tech Pep No 79 Dept of Comptr Scl U of Toronto Toronto Ont~o Canada Feb 1975
3. An axiomatic basis for computer programming