Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004328327/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract "To celebrate the 60th birthday and the many achievements of Tony Hoare, a rich assembly of contributors has come together to provide a volume of papers dedicated to him. Recognising the huge difference that Tony has made to computer science, each contributor has a personal way of expressing respect and thanks to him. A foreword by Robin Milner is included. The book has significant contributions from distinguished authors across a wide spectrum of computer science: from software engineering practice and computer architecture to a range of theoretical topics. It will appeal to computer scientists working in all areas of the subject.".
- catalog contributor b6157029.
- catalog contributor b6157030.
- catalog created "1994.".
- catalog date "1994".
- catalog date "1994.".
- catalog dateCopyrighted "1994.".
- catalog description "1. Interaction Categories and Communicating Sequential Processes / Samson Abramsky -- 2. Relational Program Derivation and Context-free Language Recognition / Richard Bird and Oege de Moor -- 3. Formal Model of Robots: Geometry and kinematics / Dines Bjorner -- 4. Fair Communicating Processes / Stephen Brookes -- 5. Hiding and Behaviour: An institutional approach / Rod Burstall and Razvan Diaconescu -- 6. Monitors Revisited / Ole-Johan Dahl -- 7. On the Design of Calculational Proofs / Edsger W. Dijkstra -- 8. Proof of Correctness of Object Representations / Joseph A. Goguen and Grant Malcolm -- 9. A Mechanized Hoare Logic of State Transitions / Mike Gordon -- 10. Constant-space Quicksort / David Gries -- 11. From CSP to Hybrid Systems / He Jifeng -- 12. Abstractions of Time / Eric C.R. Hehner -- 13. Software Development Method / M.A. Jackson -- 14. Process Algebra Arguments about an Object-based Design Notation / C.B. Jones.".
- catalog description "15. Bracket Notation for the 'Coefficient of' Operator / Donald E. Knuth -- 16. Implementing Coherent Memory / Butler W. Lampson -- 17. How to Design a Parallel Computer / David May -- 18. Powerlist: A structure for parallel recursion / Jayadev Misra -- 19. The Cuppest Capjunctive Capping, and Galois / Carroll Morgan -- 20. The Advantages of Free Choice: A symmetric and fully distributed solution for the dining philosophers problem / Michael O. Rabin and Daniel Lehmann -- 21. Model-checking CSP / A.W. Roscoe -- 22. The Semantics of Id / J.E. Stoy -- 23. Correctness of Data Representations in Algol-like Languages / R.D. Tennent -- 24. Software is History! / Jim Welsh -- 25. A Mean Value Calculus of Durations / Zhou Chaochen and Li Xiaoshan.".
- catalog description "The book has significant contributions from distinguished authors across a wide spectrum of computer science: from software engineering practice and computer architecture to a range of theoretical topics. It will appeal to computer scientists working in all areas of the subject.".
- catalog description "To celebrate the 60th birthday and the many achievements of Tony Hoare, a rich assembly of contributors has come together to provide a volume of papers dedicated to him. Recognising the huge difference that Tony has made to computer science, each contributor has a personal way of expressing respect and thanks to him. A foreword by Robin Milner is included.".
- catalog extent "xii, 451 p. :".
- catalog hasFormat "Classical mind.".
- catalog identifier "0132948443 :".
- catalog isFormatOf "Classical mind.".
- catalog issued "1994".
- catalog issued "1994.".
- catalog language "eng".
- catalog publisher "New York : Prentice Hall,".
- catalog relation "Classical mind.".
- catalog subject "004 20".
- catalog subject "Computers.".
- catalog subject "Electronic data processing.".
- catalog subject "Programming languages (Electronic computers)".
- catalog subject "QA76 .A23 1994".
- catalog tableOfContents "1. Interaction Categories and Communicating Sequential Processes / Samson Abramsky -- 2. Relational Program Derivation and Context-free Language Recognition / Richard Bird and Oege de Moor -- 3. Formal Model of Robots: Geometry and kinematics / Dines Bjorner -- 4. Fair Communicating Processes / Stephen Brookes -- 5. Hiding and Behaviour: An institutional approach / Rod Burstall and Razvan Diaconescu -- 6. Monitors Revisited / Ole-Johan Dahl -- 7. On the Design of Calculational Proofs / Edsger W. Dijkstra -- 8. Proof of Correctness of Object Representations / Joseph A. Goguen and Grant Malcolm -- 9. A Mechanized Hoare Logic of State Transitions / Mike Gordon -- 10. Constant-space Quicksort / David Gries -- 11. From CSP to Hybrid Systems / He Jifeng -- 12. Abstractions of Time / Eric C.R. Hehner -- 13. Software Development Method / M.A. Jackson -- 14. Process Algebra Arguments about an Object-based Design Notation / C.B. Jones.".
- catalog tableOfContents "15. Bracket Notation for the 'Coefficient of' Operator / Donald E. Knuth -- 16. Implementing Coherent Memory / Butler W. Lampson -- 17. How to Design a Parallel Computer / David May -- 18. Powerlist: A structure for parallel recursion / Jayadev Misra -- 19. The Cuppest Capjunctive Capping, and Galois / Carroll Morgan -- 20. The Advantages of Free Choice: A symmetric and fully distributed solution for the dining philosophers problem / Michael O. Rabin and Daniel Lehmann -- 21. Model-checking CSP / A.W. Roscoe -- 22. The Semantics of Id / J.E. Stoy -- 23. Correctness of Data Representations in Algol-like Languages / R.D. Tennent -- 24. Software is History! / Jim Welsh -- 25. A Mean Value Calculus of Durations / Zhou Chaochen and Li Xiaoshan.".
- catalog title "A classical mind : essays in honour of C.A.R. Hoare / edited by A.W. Roscoe.".
- catalog type "text".