Cliff B. Jones, Jayadev Misra

Gebundenes Buch

Theories of Programming

The Life and Works of Tony Hoare

Herausgeber: Jones, Cliff B; Misra, Jayadev

Beschreibung

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. This book presents the essence of his various works - the quest for effective abstractions - both in his own words as well as chapters written by leading experts in the field.

Autor

Cliff Jones is Emeritus Professor of Computing (and now employed as Senior Research Investigator) at Newcastle University (UK). His doctorate from Oxford under Tony Hoare's supervision marked a transition from 15 years at IBM to a chair at Manchester University. As well as his main research in concurrency, he has a strong interest in the history of computing. Jayadev Misra is the Schlumberger Centennial Chair Emeritus and University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. His research interests are in formal methods related to concurrency, which has brought him in contact with Sir Tony Hoare for over four decades. He joined Tony in the Verified Software Initiative (VSI) project since its inception, and continues to participate in it fully.

Produktdetails

• Verlag: Association for Computing Machinery 6504698
• Seitenzahl: 450
• Erscheinungstermin: 26. September 2021
• Englisch
• Abmessung: 235mm x 191mm x 25mm
• Gewicht: 984g
• ISBN-13: 9781450387286
• ISBN-10: 1450387284
• Artikelnr.: 62921983