,
| ́ ́ ́ | |
| Charles Antony Richard Hoare | |
 |
|
| : | |
|---|---|
| : | |
| : | |
| : | |
| -: | |
| : | |
́ ́ ́ (. Charles Antony Richard Hoare Tony Hoare C.A.R. Hoare, . 11 1934, , , , ) , . « » (1960), .
: Z (CSP, Communicating Sequential Process). (. Hoare Logic), , . , , , .
|
|
[]
-. 1956 . - 19561958 . , 1959 , . 1960, - , -2, Elliott Brothers, ALGOL60. .
1968 (. Queen's University, Belfast).
1977 , , Programming Research Group, , , . : , .
1999 Microsoft Research , 2011 .
[]
[]
- http://awards.acm.org/citation.cfm?id=4622167&srt=year&year=1980&aw=140&ao=AMTURING ACM Award Citation / C.Antony R. Hoare
- http://www.inamori-f.or.jp/e_kp_lau_yea.html The Kyoto prize / Laureates / List by Year
[]
- O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare, Structured Programming. Academic Press, 1972. ISBN 0-12-200550-3. : ., ., ., . .:"", 1975.
- C. A. R. Hoare, Communicating Sequential Processes. Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback. : ., . : , 1989.
- C. A. R. Hoare and M. J. C. Gordon, Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-572405-8.
- C. A. R. Hoare and He Jifeng, Unifying Theories of Programming. Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8.
[]
- http://research.microsoft.com/users/thoare/ Microsoft Research
- http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html -
- http://www.braithwaite-lee.com/opinions/p75-hoare.pdf 1980
- http://www.usingcsp.com/ CSP
