Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Tony Hoare's work on current research from an international selection of expert contributors. Also supplied is a scientific biography, listing the most influential work by Tony Hoare. Written in honor of SirTony Hoare's 75th birthday Discusses the influence of Sir Tony Hoare's work on current research Provides a scientific biography of Sir Tony Hoare INDICE: Insight, Inspiration and Collaboration.- >From CSP to Game Semantics.- On Mereologies in Computing Science.- Roles, Stacks, Histories: A Triple for Hoare.- Forward with Hoare.- Probabilistic Programming with Coordination.-The Operational Principle and Problem Frames.- The Role of Auxiliary Variables in the Formal Development of Concurrent Programs.- Avoid a Void: The Eradication of Null Dereferencing.- Unfolding CSP.- Quicksort: Combining Concurrency,Recursion, and Mutable Data Structures.- The Thousand-and-One Cryptographers.- On Process-algebraic Extensions of Metric Temporal Logic.- Fun with Type Functions.- On CSP and the Algebraic Theory of Effects.- CSP is Expressive Enoughfor ?.- The Tokeneer Experiments.
- ISBN: 978-1-84882-911-4
- Editorial: Springer
- Encuadernacion: Cartoné
- Páginas: 452
- Fecha Publicación: 01/07/2010
- Nº Volúmenes: 1
- Idioma: Inglés