hlf_2016_participating_laureates.indd

First Page		Document Content
Date: 2016-08-01 03:42:27 Turing Award laureates Turing Award Nevanlinna Prize Robert Tarjan John Hopcroft Barbara Liskov Fields Medal Leslie Lamport Stephen Cook Alan Turing Tony Hoare Turing		hlf_2016_participating_laureates.indd Add to Reading List Source URL: www.heidelberg-laureate-forum.org Download Document from Source Website File Size: 1,16 MB Share Document on Facebook

	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 DocID: 1stfp - View Document
	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 DocID: 1pAli - View Document
	hlf_2016_participating_laureates.indd DocID: 1oVAO - View Document
	Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 DocID: 1m591 - View Document
	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 DocID: 1jW8N - View Document