prof. charles antony richard hoare tony hoare. born in colombo (sri lanka) british parents
Post on 18-Dec-2015
216 views
TRANSCRIPT
![Page 1: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/1.jpg)
Prof. Charles Antony Richard Hoare
Tony Hoare
![Page 2: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/2.jpg)
Born in Colombo (Sri Lanka)
British parents
![Page 3: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/3.jpg)
Oxford (England)
University of Oxford:
Hoare studied:• Philosophy • Latin and Greek• Bacherol Degree in
1946• Extra year: Statistics
![Page 4: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/4.jpg)
Moscow (Russia)
Hoare studied:• Russian (in the Royal
Navy) • Statistics• a programming
course
![Page 5: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/5.jpg)
University State of Moscow
- machine translation of languages - probability theory
![Page 6: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/6.jpg)
Back to England (London) in 1960
Elliot Brothers (a small scientific computer manufacturer)
First task: Elliot 803• Implementation of the method for internal sorting
invented by Shell• Hoare believed he had a faster method
![Page 7: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/7.jpg)
Elliot 503 (the companie´s next computer) Goal: Design the language• Course on the language Angol 60 (in Brighton - England ) • First contact with recursive procedures• Wrote the procedure of Quicksort
New direction: Implementation of Algol 60
(Hoare was invited to the group with responsibility for maintenance and development of Algol.)
![Page 8: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/8.jpg)
Back to Elliot Brothers...
• Hoare was leading a team of 15 programmers
( task: Implementation of an operating system to the
Elliot 503 computer)
• Promoted to Chief Engineer
( task: responsible for development and design of the company´s products)
![Page 9: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/9.jpg)
Hoare left the industrywhat was the reason?
- Hoare proposed once that a programming language definition should be formalized as a set of axioms instead of a just a functional notation.
- But he did not see how actually to do it.
Long Term research?
![Page 10: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/10.jpg)
Research at Queen´s University (Belfast)(1968-1977)
- Theory of Programming and Languages
![Page 11: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/11.jpg)
Hoare Logic
![Page 12: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/12.jpg)
Instantiation axiom
{p[t/y]} y:=t {p}
For example:
{y+5=10} y:=y+5 {y=10}
{y+y<z} x:=y {x+y<z}
{2*(y+5)>20} y:=2*(y+5) {y>20}
![Page 13: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/13.jpg)
Composition rule
{p} S1 {r} {r} S2 {q}________________________________________________________________________
{p} S1;S2 {q}
For example: if the antecedents are
1. {x+1 = y+2} x := x+1 {x=y+2}
2. {x = y+2} y := y+2 {x=y}
Then the consequent is
{x+1 = y+2} x := x+1; y := y+2 {x=y}
![Page 14: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/14.jpg)
While rule
{p/\e} S {p}________________________________________________________________________
{p} while e do S od {p/\¬e}
![Page 15: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/15.jpg)
Assertions example
{x>=0 /\ y>=0} a:=0; b:=x;while b>=y do b:=b-y; a:=a+1od.{x=a*y+b/\b>=0/\b<y}
![Page 16: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/16.jpg)
Back to Oxford University (1977)
Continuation of the research leads to:
• CSP (Communicating Sequential Processes)
![Page 17: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/17.jpg)
1980 – Receives Turing Award
For his fundamental contributions to the definition and design of
programming languages
![Page 18: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/18.jpg)
Back to Industry (1999)
Senior researcher with Microsoft Research in Cambridge
![Page 19: Prof. Charles Antony Richard Hoare Tony Hoare. Born in Colombo (Sri Lanka) British parents](https://reader038.vdocuments.net/reader038/viewer/2022110322/56649d245503460f949fa8e5/html5/thumbnails/19.jpg)