He was a free speech advocate.
John
McCarthy (computer scientist) - Wikipedia, the free encyclopedia
McCarthy's Stanford home page (a
*must see* link)
PoiR should check out the following on the home page :
PUBLISHED PAPERS ON MATHEMATICAL THEORY OF COMPUTATION
A
Basis for a Mathematical Theory of Computation, first given in 1961, was
published in 1963 in Computer Programming and Formal Systems, edited by P.
Braffort and D. Hirschberg and published by North-Holland.
Towards a
Mathematical Science of Computation, IFIPS 1962 extends the results of the
previous paper. I think it is the first mention and use of abstract
syntax.
Correctness of a Compiler for Arithmetic Expressions by John
McCarthy and James Painter may have been the first proof of correctness of a
compiler. Abstract syntax and Lisp-style recursive definitions kept the paper
short.
[ Reply to This | Parent | # ]
|