next up previous
Next: About this document Up: CORRECTNESS OF A COMPILER Previous: Remarks

References

1. J. McCarthy, Computer programs for checking mathematical proofs, Proc. Sympos. Pure Math. Vol. 5, Amer. Math. Soc., Providence, R. I., 1962, pp. 219-227.

2. ------, "A basis for a mathematical theory of computation" in Computer programming and formal systems, edited by P. Braffort and D. Hershberg, North-Holland, Amsterdam, 1963.

3. ------, Towards a mathematical theory of computation, Proc. Internat. Congr. on Information Processing, 1962.

4. ------, A formal description of a subset of Algol, Proc. Conf. on Formal Language Description Languages, Vienna, 1964.



John McCarthy
Wed Sep 29 13:40:01 PDT 1999