Towards a Mathematical Science of Computation (1962)

Cached

Download Links

by J. Mccarthy
Venue:In IFIP Congress
Citations:157 - 6 self

Documents Related by Co-Citation

1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
571 Assigning meanings to programs – R W Floyd - 1967
397 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
533 A Computational Logic – R BOYER, J MOORE - 1979
78 Automated Proofs of Object Code for a Widely Used Microprocessor – Yuan Yu - 1992
67 FM8501: A Verified Microprocessor – W Hunt - 1985
17 Planning and coding of problems for an electronic computing instrument, tech. rep., Institute for Advanced Study – H H GOLDSTINE, J VON NEUMANN - 1948
34 Checking a large routine – Alan M Turing - 1949
23 Compiler Specification and Verification – Wolfgang Polak - 1981
16 The correctness of programs – Manna - 1969
102 Metafunctions: proving them correct and using them efficiently as new proof procedures – Robert S Boyer, J Strother Moore - 1981
44 A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover – Matt Kaufmann - 1988
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
14 Program verification – Robert S. Boyer, J Strother Moore - 1985
30 A Verified Operating System Kernel – William R. Bevier - 1987
342 Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I – John Mccarthy - 1960
532 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
14 Recursive Definition of Syntax and Semantics – A van Wijngaarden - 1964
8 The Java Virtual Machine Speci (Second Edition – T Lindholm, F Yellin - 1999