A calculus for the mathematical theory of computation

  • Robin Milner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Floyd, R.W., Assigning Meanings to Programs. Proceedings of a Symposium in Applied Mathematics, Vol. 19, pp. 19–32 (ed. Schwartz, J.T.) Providence, R.I., Amer. Math. Soc. 1967.Google Scholar
  2. [2]
    Good, D.I. and Ragland, L.C., NUCLEUS — A Language for Provable Programs, Proceedings of SIGPLAN Symposium on Computer Program Test Methods, Prentice Hall, 1972 (to appear)Google Scholar
  3. [3]
    Hoare, C.A.R., An Axiomatic Basis for Computer Programming. Comm. ACM, Vol. 12, No. 10, October 1969, pp. 576–580, 583.Google Scholar
  4. [4]
    Igarashi, S., Semantics of ALGOL-like Statements. AI Memo No. 129, Stanford University, 1970.Google Scholar
  5. [5]
    Igarashi, S,, London, R.L. and Luckham, D.C., Interactive Program Verification: A Logical System and its Implementation. AI Memo, Stanford University, 1972 (to appear)Google Scholar
  6. [6]
    Kaplan, D.M., A Formal Theory Concerning the Equivalence of Algorithms. AI Memo No. 59, Stanford University, 1968.Google Scholar
  7. [7]
    Landin, P.J., The Next 700 Programming Languages. Comm. ACM, Vol. 9, No. 3, March 1966, pp. 157–166.Google Scholar
  8. [8]
    McCarthy, J., A Basis for the Mathematical Theory of Computation. Computer Programming and Formal Systems, pp. 33–70, (eds. Braffort, P. and Hirschberg, D.) Amsterdam, North-Holland, 1963.Google Scholar
  9. [9]
    Manna, Z., The Correctness of Programs. JCSS Vol. 3, pp. 119–127, 1969.Google Scholar
  10. [10]
    Milner, R., Logic for Computable Functions; Description of a Machine Implementation. AI Memo No. 169, Stanford University, 1972.Google Scholar
  11. [11]
    Milner, R., Implementation and Applications of Scott's Logic for Computable Functions. Proc. ACM Conference on Proving Assertions about Programs, New Mexico, State University, pp. 1–6 1972.Google Scholar
  12. [12]
    Milner, R. and Weyrauch, R.W., Proving Compiler Correctness in a Mechanized Logic. Machine Intelligence 7, Edinburgh University Press, 1972 (to appear)Google Scholar
  13. [13]
    Scott, D.S., Continuous Lattices, Proc. 1971 Dalhousie Conference, Lecture Notes in Mathematics, Springer-Verlag, Heidelberg.Google Scholar
  14. [14]
    Scott, D.S. and Strachey, C., Towards a Mathematical Semantics for Computer Languages. Proc. Symposium on Computers and Automata, Microware Research Institute, Symposia Series, Vol. 21, Polytechnic Institute of Brooklyn, 1971.Google Scholar
  15. [15]
    Weyrauch, R.W. and Milner, R., Program Semantics and Correctness in a Mechanized Logic. Proc. USA-Japan Computer Conference, Tokyo, October 1972 (to appear)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • Robin Milner

There are no affiliations available

Personalised recommendations