Theories of Programming

The Life and Works of Tony Hoare
Herausgeber: Jones, Cliff B; Misra, Jayadev

• Gebundenes Buch

Produktbeschreibung

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.

Produktdetails

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

Autorenporträt

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.