Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare
著者
書誌事項
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare
(Cornerstones of computing)
Palgrave, 2000
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より