Millennial Perspectives in Computer Science
Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare
Published on 30. November 2000
Book
Hardback
432 pages
978-0-333-92230-9 (ISBN)
Description
Millennial Reflections in Computer Science is a comprehensive overview of cutting-edge issues within computing science written by some of the most pre-eminent scientists available today.
To mark the retirement of Sir Tony Hoare from Oxford University, some of the world's leading computer scientists gathered together for a three-day symposium. Organised by the University of Oxford, and sponsored by Microsoft Research, the symposium resulted in this remarkable collection of talks, papers, and essays.
Some describe original research, others offer personal perspectives
on the field. Together, they comprise a unique insight into the past, present, and future of computer science.
To mark the retirement of Sir Tony Hoare from Oxford University, some of the world's leading computer scientists gathered together for a three-day symposium. Organised by the University of Oxford, and sponsored by Microsoft Research, the symposium resulted in this remarkable collection of talks, papers, and essays.
Some describe original research, others offer personal perspectives
on the field. Together, they comprise a unique insight into the past, present, and future of computer science.
More details
Series
Edition
2000
Language
English
Place of publication
London
United Kingdom
Publishing group
Bloomsbury Publishing PLC
Target group
Professional and scholarly
College/higher education
Illustrations
432 p.
Dimensions
Height: 24.6 cm
Width: 18.9 cm
ISBN-13
978-0-333-92230-9 (9780333922309)
Schweitzer Classification
Persons
JIM DAVIES is a lecturer in Computation and Continuing Education at
the University of Oxford, and Director of the Software Engineering Programme.
BILL ROSCOE works at the Oxford University Computing Laboratory where he is a Professor of Computing Science.
JIM WOODCOCK is a Professor of Software Engineering at the Oxford University Computing Laboratory.
the University of Oxford, and Director of the Software Engineering Programme.
BILL ROSCOE works at the Oxford University Computing Laboratory where he is a Professor of Computing Science.
JIM WOODCOCK is a Professor of Software Engineering at the Oxford University Computing Laboratory.
Content
Preface; J.Woodcock.- Concurrent Interaction Games; S.Abramsky.- Program Optimisation Naturally; R.Bird, J.Gibbons & G.Jones.- The Binary Euclidean Algorithm; R.P.Brent.- Domain Modelling; D.Bjorner.- Communicating Parallel Processes; S.Brookes.- Computing with Shapes; S.Cameron.- Predicate Transformers for Competition; K.M.Chandy & M.Charpentier.- A Note on Monitor Versions; O-J.Dahl.- A Formula is Worth a Thousand Pictures; E.W.Dijkstra.- Linking Higher Order Logic to Binary Decision Diagrams; M.Gordon.- Substitution of Equals for Equals; D.Gries & F.B.Schneider.- Advanced Features of the Duration Calculus; H.Jifeng & X.Qiwen.- Formalism and the Variable; E.C.R.Hehner.- The Real World; Michael Jackson.- Compositionality, Inference and Concurrency; C.B.Jones.- Dancing Links; D.E.Knuth.- The Transputer Revised; D.May.- Principles of Language Design and Evolution; B.Meyer.- Computing and Communication What's the Difference?; R.Milner.- Generating-functions of Interconnection Networks; J.Misra.- Probably Hoare? Hoare Probably!; C.Morgan, A.McIver & J.W.Sanders.- Distributed Computing : Opportunity, Challenge or Misfortune?; R.M.Needham.- A Linear-time Algorithm for Verifying MLL Proof Nets via Essential Nets; A.S.Murawski & C.-H.L.Ong.- Intuitionistic Reasoning about Shared Mutable Data Structure; J.C.Reynolds.- The Successes and Failures of Behavioural Models; A.W.Roscoe, G.M.Reed & R.Forster.- The Algebra of Searching; M.Spivey & S.Seres.- Modeless Structure Editing; B.Sufrin & O.de Moor.- A Chaos-free Failures-divergences Semantics with Applications to Verification; A.Valmari.- Records, Modules, Objects, Classes, Components; N.Wirth.- Abstract Data Types and Processes; J.Woodcock, J.Davies & C.Bolton.- A Higher-order Duration Calculus; Z.Chaochen, D.P.Guelev & Z.Naijun.