Palgrave Macmillan Home
Login or Register    Shopping Basket Shopping Basket
Search 
 
 
 
 
Millennial Perspectives in Computer Science
 
   Enlarge Image
 
 
Millennial Perspectives in Computer Science
Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare
 
 
Palgrave Macmillan
 
 
 
 
 
 
30 Nov 2000
|
£79.99
|Hardback Out of Stock
  
9780333922309
||


OrderHelpBox
                                                                                                                                              returns, payment and delivery


DescriptionContentsAuthors

In September 1999, cutting edge research and personal reflections were uniquely brought together when some of the best computing minds in the world met to celebrate the career of Sir Tony Hoare at the Oxford University-Microsoft Symposium. Participants were invited to give presentations on their areas of expertise and this book brings together the remarkable collection of talks, papers and essays that resulted.

Millennial Perspectives in Computer Science gives a comprehensive overview of issues within computing written by some of today's most pre-eminent scientists. It is fascinating reading for anyone with an interest in the latest thoughts and developments within computer science, and also provides an insight into the past, present and future of the subject.

Professor Sir Tony Hoare held the James Martin Chair in Computing at the Oxford University Computing Laboratory from 1979 to 1999. As one of the foremost experts in the field of computer science, he was knighted in 2000 for his achievements in software engineering. In further recognition of this ¢pioneering and fundamental contribution to software science', Sir Tony was awarded the Kyoto Prize for Advanced Technology in November 2000.

The symposium was organised by Jim Davies, Bill Roscoe and Jim Woodcock from the Oxford Programming Research Group, who have also edited and contributed to this commemorative collection.

Contributors:
Samson Abramsky, Richard Bird, Dines Bjorner, Christie Bolton, Richard P. Brent, Stephen Brookes, Stephen Cameron, Zhou Chaochen, K. Mani Chandy, Michel Charpentier, Ole-Johan Dahl, Jim Davies, Oege de Moor, Edsger W. Dijkstra, R. Forster, Jeremy Gibbons, Mike Gordon, David Gries, Dimitar P. Guelev, Eric C. R. Hehner, Michael Jackson, He Jifeng, C. B. Jones, Geraint Jones, Donald E. Knuth, David May, Annabelle McIver, Bertrand Meyer, Robin Milner, Jayadev Misra, Carroll Morgan, A. S. Murawski, Zhan Naijun, R. M. Needham, C. -H. L. Ong, Xu Qiwen, G. M. Reed, John C. Reynolds, A. W. Roscoe, J. W. Sanders, Fred B. Schneider, Silvija Seres, Mike Spivey, Bernard Sufrin, Antti Valmari, Niklaus Wirth and Jim Woodcock


The Cornerstones of Computing series is dedicated to providing readers with rigorous and challenging texts that cover the breadth of computing science. The books published in this auspicious series are written by leading experts, reviewed by their peers, and offer a quality of text unsurpassed in today's market.

Series Editors
· Professor Richard Bird is Director of the Computing Laboratory and head of the Programming Research Group at the University of Oxford. He is also the author of several successful books, including the best-selling Introduction to Functional Programming (Prentice Hall)

· Professor Sir Tony Hoare was formerly at the University of Oxford and is now working at the Microsoft European Research HQ in Cambridge. He is the author of several textbooks, including Communicating Sequential Processes (Prentice Hall)

Published Titles in the Cornerstones of Computing Series :
· Object-Oriented Specification using Z
· Operating Systems with Linux





Description

In September 1999, cutting edge research and personal reflections were uniquely brought together when some of the best computing minds in the world met to celebrate the career of Sir Tony Hoare at the Oxford University-Microsoft Symposium. Participants were invited to give presentations on their areas of expertise and this book brings together the remarkable collection of talks, papers and essays that resulted.

Millennial Perspectives in Computer Science gives a comprehensive overview of issues within computing written by some of today's most pre-eminent scientists. It is fascinating reading for anyone with an interest in the latest thoughts and developments within computer science, and also provides an insight into the past, present and future of the subject.

Professor Sir Tony Hoare held the James Martin Chair in Computing at the Oxford University Computing Laboratory from 1979 to 1999. As one of the foremost experts in the field of computer science, he was knighted in 2000 for his achievements in software engineering. In further recognition of this ¢pioneering and fundamental contribution to software science', Sir Tony was awarded the Kyoto Prize for Advanced Technology in November 2000.

The symposium was organised by Jim Davies, Bill Roscoe and Jim Woodcock from the Oxford Programming Research Group, who have also edited and contributed to this commemorative collection.

Contributors:
Samson Abramsky, Richard Bird, Dines Bjorner, Christie Bolton, Richard P. Brent, Stephen Brookes, Stephen Cameron, Zhou Chaochen, K. Mani Chandy, Michel Charpentier, Ole-Johan Dahl, Jim Davies, Oege de Moor, Edsger W. Dijkstra, R. Forster, Jeremy Gibbons, Mike Gordon, David Gries, Dimitar P. Guelev, Eric C. R. Hehner, Michael Jackson, He Jifeng, C. B. Jones, Geraint Jones, Donald E. Knuth, David May, Annabelle McIver, Bertrand Meyer, Robin Milner, Jayadev Misra, Carroll Morgan, A. S. Murawski, Zhan Naijun, R. M. Needham, C. -H. L. Ong, Xu Qiwen, G. M. Reed, John C. Reynolds, A. W. Roscoe, J. W. Sanders, Fred B. Schneider, Silvija Seres, Mike Spivey, Bernard Sufrin, Antti Valmari, Niklaus Wirth and Jim Woodcock


The Cornerstones of Computing series is dedicated to providing readers with rigorous and challenging texts that cover the breadth of computing science. The books published in this auspicious series are written by leading experts, reviewed by their peers, and offer a quality of text unsurpassed in today's market.

Series Editors
· Professor Richard Bird is Director of the Computing Laboratory and head of the Programming Research Group at the University of Oxford. He is also the author of several successful books, including the best-selling Introduction to Functional Programming (Prentice Hall)

· Professor Sir Tony Hoare was formerly at the University of Oxford and is now working at the Microsoft European Research HQ in Cambridge. He is the author of several textbooks, including Communicating Sequential Processes (Prentice Hall)

Published Titles in the Cornerstones of Computing Series :
· Object-Oriented Specification using Z
· Operating Systems with Linux





Contents

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


Authors

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.