1![What can we learn from Edsger W. Dijkstra? by Tony Hoare. 0. Preamble I would like to start by joining all of you in the expression of deep gratitude to Schlumberger for the grant which set up a series of lectures to hon What can we learn from Edsger W. Dijkstra? by Tony Hoare. 0. Preamble I would like to start by joining all of you in the expression of deep gratitude to Schlumberger for the grant which set up a series of lectures to hon](https://www.pdfsearch.io/img/835f6d4539cba9c8ebb94ac7b4b9b96c.jpg) | Add to Reading ListSource URL: ontopilot.com- Date: 2016-03-21 13:58:13
|
---|
2![1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi 1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi](https://www.pdfsearch.io/img/0b9f5af5a988b1cf5c0e685c93d84fc0.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
3![hlf_2016_participating_laureates.indd hlf_2016_participating_laureates.indd](https://www.pdfsearch.io/img/15cf4a5ad8d5ac70c37a0b5ff715d804.jpg) | Add to Reading ListSource URL: www.heidelberg-laureate-forum.orgLanguage: English - Date: 2016-08-01 03:42:27
|
---|
4![Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005](https://www.pdfsearch.io/img/3cfc221bec15e567458b59a09dc9a880.jpg) | Add to Reading ListSource URL: vstte.ethz.chLanguage: English - Date: 2005-10-11 03:37:04
|
---|
5![Remarks for Japan Prize award ceremony for Dennis Ritchie, May 19, 2011, Murray Hill, NJ M. Douglas McIlroy Lots of people have exclaimed about what a revelation Unix was. As Tony Hoare said of Algol 60, Unix was not onl Remarks for Japan Prize award ceremony for Dennis Ritchie, May 19, 2011, Murray Hill, NJ M. Douglas McIlroy Lots of people have exclaimed about what a revelation Unix was. As Tony Hoare said of Algol 60, Unix was not onl](https://www.pdfsearch.io/img/00dc5f18581ae629b1c3f5e2919977c8.jpg) | Add to Reading ListSource URL: www.cs.dartmouth.eduLanguage: English - Date: 2011-10-13 23:50:20
|
---|
6![Unfolding CSP Mikkel Bundgaard and Robin Milner Dedicated to Sir Tony Hoare for his 75th birthday Appreciation from the second author Tony Hoare and I have exchanged ideas on concurrent processes for three decades. To a Unfolding CSP Mikkel Bundgaard and Robin Milner Dedicated to Sir Tony Hoare for his 75th birthday Appreciation from the second author Tony Hoare and I have exchanged ideas on concurrent processes for three decades. To a](https://www.pdfsearch.io/img/d81e85bd2fe1fc3ecd915b698d247e2c.jpg) | Add to Reading ListSource URL: www.itu.dk- Date: 2011-02-14 15:49:40
|
---|
7![Paid work during term time: classed experiences of full-time undergraduate students Jody Mellor (University of Bristol) Richard Waller (UWE) Tony Hoare (University of Bristol) Paid work during term time: classed experiences of full-time undergraduate students Jody Mellor (University of Bristol) Richard Waller (UWE) Tony Hoare (University of Bristol)](https://www.pdfsearch.io/img/969397e29f1ed92b916afc6a07595da6.jpg) | Add to Reading ListSource URL: www.bristol.ac.ukLanguage: English - Date: 2015-04-15 06:56:12
|
---|
8![Engineering Theories of Software Construction, Tony Hoare, Manfred Broy and Ralf Steinbruggen eds; Proceedings of NATO Summer School, Marktoberdorf; IOS Press, Amsterdam, August 2000, pp3-20. Problem Analysis and Structu Engineering Theories of Software Construction, Tony Hoare, Manfred Broy and Ralf Steinbruggen eds; Proceedings of NATO Summer School, Marktoberdorf; IOS Press, Amsterdam, August 2000, pp3-20. Problem Analysis and Structu](https://www.pdfsearch.io/img/4b91b277cc3372bbb1f7be8d387f57d4.jpg) | Add to Reading ListSource URL: mcs.open.ac.ukLanguage: English - Date: 2004-11-17 13:18:06
|
---|
9![Chapter 13 Software Development Method M. A. Jackson It is a great pleasure to be able to contribute to a Festschrift in Tony Hoare’s honour. I have Chapter 13 Software Development Method M. A. Jackson It is a great pleasure to be able to contribute to a Festschrift in Tony Hoare’s honour. I have](https://www.pdfsearch.io/img/92cfb0df3b0a4a95d23352784fc97a95.jpg) | Add to Reading ListSource URL: mcs.open.ac.ukLanguage: English - Date: 2001-10-09 19:38:32
|
---|
10![Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005](https://www.pdfsearch.io/img/aedf7901481735646a816130f8a736bd.jpg) | Add to Reading ListSource URL: vstte.ethz.chLanguage: English - Date: 2005-07-29 10:40:50
|
---|