Last Update: 11 September 2012
Note: or material is highlighted
"I hold the opinion that the construction of computer programs is a mathematical activity like the solution of differential equations, that programs can be derived from their specifications through mathematical insight, calculation, and proof, using algebraic laws as simple and elegant as those of elementary arithmetic."
"Computer programming is an exact science in that all the properties of a program and all the consequences of executing it in any given environment can, in principle, be found out from the text of the program itself by means of purely deductive reasoning."
"When the correctness of a program, its compiler, and the hardware of the computer have all been established with mathematical certainty, it will be possible to place great reliance on the results of the program, and predict their properties with a confidence limited only by the reliability of the electronics."C.A.R. Hoare
Stewart, Ian (2007), "The Future of Proof", Prospect (22 February).
"Canadian Is Praised over Missile Scare", New York Times (23 December 1960).
Fetzer, James H. (1999), "The Role of Models in Computer Science" [PDF], The Monist 82(1): 20-36.
Jackson, Michael (2003), "Why Software Writing Is Difficult and Will Remain So" [PDF], Information Processing Letters 88: 13-25.
Neumann, Peter G. (1993), "Modeling and Simulation", Communications of the ACM 36(4) (June): 124.
Hayes, Brian (2007), "Calculating the Weather", American Scientist 95(3) (May-June): 271-273.
Rapaport, William J. (2005), "Implementation Is Semantic Interpretation: Further Thoughts", Special Issue on Theoretical Cognitive Science, Journal of Experimental and Theoretical Artificial Intelligence 17(4) (December): 385-417.
Included in the online version of the above: