Charles Antony Richard Hoare. The Mathematics of Programming. Inaugural Lecture, Oxford University. Clarendon Press, October 1985. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Parallel Beta Reduction is Not Elementary Recursive - Asperti, Mairson (1998) (5 citations) (Correct)
....continued into later life would not be regarded as a good quali cation for one seeking a career as a professional author. It is equally inappropriate for a professional programmer. Confucius is often quoted as saying that a picture is worth ten thousand words so please never draw one that isn t. [Hoa85] But as Richard Feynman and Julian Schwinger showed in the history of quantum electrodynamics, a picture can indeed be worth ten thousand equations: Feynman was able to diagramatically work out calculations that seemed interminable by more formal means (see, e.g. Dys79, Sch94] Lamping s ....
Charles Antony Richard Hoare. The Mathematics of Programming. Inaugural Lecture, Oxford University. Clarendon Press, October 1985.
Parallel Beta Reduction is Not Elementary Recursive - Asperti, Mairson (1998) (5 citations) (Correct)
....into later life would not be regarded as a good qualification for one seeking a career as a professional author. It is equally inappropriate for a professional programmer. Confucius is often quoted as saying that a picture is worth ten thousand words so please never draw one that isn t. [Hoa85] But as Richard Feynman and Julian Schwinger showed in the history of quantum electrodynamics, a picture can indeed be worth ten thousand equations: Feynman was able to diagramatically work out calculations that seemed interminable by more formal means (see, e.g. Dys79, Sch94] Lamping s ....
Charles Antony Richard Hoare. The Mathematics of Programming. Inaugural Lecture, Oxford University. Clarendon Press, October 1985.
Parallel Beta Reduction is Not Elementary Recursive - Asperti, Mairson (1998) (5 citations) (Correct)
....into later life would not be regarded as a good qualification for one seeking a career as a professional author. It is equally inappropriate for a professional programmer. Confucius is often quoted as saying that a picture is worth ten thousand words so please never draw one that isn t. [Hoa85] But as Richard Feynman and Julian Schwinger showed in the history of quantum electrodynamics, a picture can indeed be worth ten thousand equations: Feynman was able to diagramatically work out calculations that seemed interminable by more formal means (see, e.g. Dys79, Sch94] Lamping s ....
Charles Antony Richard Hoare. The Mathematics of Programming. Inaugural Lecture, Oxford University. Clarendon Press, October 1985.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC