Reflections on the Work of C.A.R. Hoare - Couverture rigide

Couverture rigide

ISBN 10 : 1848829116 ISBN 13 : 9781848829114

Editeur : Springer London Ltd, 2010

Synopsis

Insight, Inspiration and Collaboration C. B. Jones and A. W. Roscoe From CSP to Game Semantics Samson Abramsky On Mereologies in Computing Science Dines Bjørner Roles, Stacks, Histories: A Triple for Hoare Johannes Borgstrom, Andrew D. Gordon and Riccardo Pucella Forward with Hoare Mike Gordon and Helene Collavizza Probabilistic Programming with Coordination He Jifeng The Operational Principle and Problem Frames Michael Jackson The Role of Auxiliary Variables in the Formal Development of Concurrent Programs Cliff B. Jones Avoid a Void: The Eradication of Null Dereferencing Bertrand Meyer, Alexander Kogtenkov and Emmanuel Stapf Unfolding CSP Mikkel Bundgaard and Robin Milner Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures David Kitchin, Adrian Quark and Jayadev Misra The Thousand-and-One Cryptographers AK McIver and CC Morgan On Process-algebraic Extensions of Metric Temporal Logic Christoph Haase, Joel Ouaknine and James Worrell Fun with Type Functions Oleg Kiselyov, Simon Peyton Jones and Chung-chieh Shan On CSP and the Algebraic Theory of Effects Rob van Glabbeek and Gordon Plotkin CSP is Expressive Enough for ? A.W. Roscoe The Tokeneer Experiments Jim Woodcock, Emine Gokce Aydal and Rod Chapman

Détails de l'édition

• Éditeur: Springer London Ltd
• Date d'édition: 2010
• Langue: anglais
• ISBN 10: 1848829116
• ISBN 13: 9781848829114
• Reliure: Relié
• Nombre de pages: 442
• Éditeur: Jones Cliff B., Roscoe A.W., Wood Kenneth R.
• Coordonnées du fabricant: Springer-Verlag GmbH; customerservice@springernature.com; ; Tiergartenstraße 17; Heidelberg; Baden-Württemberg; 69121; Allemagne