Towards a Mathematical Science of Computation (1962)

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

Documents Related by Co-Citation

576 Assigning meanings to programs – R W Floyd
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
397 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
1481 Theory of Linear and Integer Programming – A Schrijver - 1998
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998