Towards a Mathematical Science of Computation

Towards a Mathematical Science of Computation (1962)

by J. Mccarthy

Venue:	In IFIP Congress
Citations:	133 - 6 self

1219	An axiomatic basis for computer programming – C. A. R. Hoare - 1969
505	A Computational Logic – Robert S Boyer, J Strother Moore - 1979
504	Assigning meanings to programs – R W FLOYD - 1967
381	A Computational Logic Handbook – R S Boyer, J S Moore - 1988
65	FM8501: A Verified Microprocessor – Warren A Hunt - 1985
23	Compiler Specification and Verification – Wolfgang Polak - 1981
98	Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures – R S Boyer, J S Moore - 1981
43	A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover – Matt Kaufmann - 1988
30	A Verified Operating System Kernel – William R. Bevier - 1987
301	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I – John Mccarthy - 1960
72	Automated Proofs of Object Code for a Widely Used Microprocessor – Yuan Yu - 1992
16	The correctness of programs – Manna - 1969
12	Planning and coding problems for an electronic computing instrument, Part II – H H Goldstine, J von Neumann - 1963
26	Checking a large routine – A M Turing - 1949
829	A Machine–oriented Logic Based on the Resolution Principle – J A Robinson - 1965
14	Program verification – Robert S. Boyer, J Strother Moore - 1985
81	Proving Properties of Programs by Structural Induction – R. M. Burstall - 1969
117	A correspondence between ALGOL 60 and Church's lambda notation – P J Landin - 1965
490	PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992