An interview with Charles Antony Richare Hoare, 17 July 2002. (Archival material, 2002) [WorldCat.org]
skip to content
An interview with Charles Antony Richare Hoare, 17 July 2002. Preview this item
ClosePreview this item
Checking...

An interview with Charles Antony Richare Hoare, 17 July 2002.

Author: C A R Hoare; Philip L Frana
Edition/Format:   Archival material : English
Summary:
Sir Antony Hoare is Senior Researcher at Microsoft Research in Cambridge, England, and Research/Professor Emeritus at the University of Oxford. Hoare is the recipient of the A.M. Turing Award for fundamental contributions to the definition and design of programming languages. He has also been awarded the Kyoto Prize in Advanced Technology for pioneering and fundamental contributions to software science. In this oral  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: History
Software
Oral histories
Named Person: C A R Hoare; C A R Hoare
Document Type: Archival Material
All Authors / Contributors: C A R Hoare; Philip L Frana
OCLC Number: 63317800
Notes: "Conducted by Philip Frana on 17 July 2002, Cambridge, England, U.K."
Description: audiocassettes : 4 (60 min. each) : analog, mono Transcript : 43 leaves
Other Titles: Oral history interview with Charles Antony Richard Hoare,
Charles Antony Richard Hoare interview,

Abstract:

Sir Antony Hoare is Senior Researcher at Microsoft Research in Cambridge, England, and Research/Professor Emeritus at the University of Oxford. Hoare is the recipient of the A.M. Turing Award for fundamental contributions to the definition and design of programming languages. He has also been awarded the Kyoto Prize in Advanced Technology for pioneering and fundamental contributions to software science. In this oral history Hoare recounts his personal involvement in the development of academic computing science and education at The Queen's University, Belfast, Northern Ireland, and at the University of Oxford. He discusses his long-time interest in building bridges between university computing science departments and industry. Hoare also details his current work at Microsoft Research in applying assertions and other scientific techniques and theory to industrial operations. He discusses his advocacy of assertions in the maintenance and transformation of legacy code. Hoare also comments on a number of other subjects, including machine translation of languages, artificial intelligence, reasoning under uncertainty, software design and reliability, and project management. The interview includes a discussion of the problem of the preservation and interpretation of code.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.