Tony Hoare : Publications

Unifying Semantics for Concurrent Programming

Tony Hoare

In Bob Coecke‚ Luke Ong and Prakash Panangaden, editors, Computation‚ Logic‚ Games‚ and Quantum Foundations. The Many Facets of Samson Abramsky − Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Vol. 7860 of Lecture Notes in Computer Science. Pages 139−149. Springer. 2013.

Details about Unifying Semantics for Concurrent Programming | BibTeX data for Unifying Semantics for Concurrent Programming | DOI (10.1007/978-3-642-38164-5_10)

Generic Models of the Laws of Programming

Tony Hoare

In Zhiming Liu‚ Jim Woodcock and Huibiao Zhu, editors, Theories of Programming and Formal Methods − Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051 of Lecture Notes in Computer Science. Pages 213−226. Springer. 2013.

Details about Generic Models of the Laws of Programming | BibTeX data for Generic Models of the Laws of Programming | DOI (10.1007/978-3-642-39698-4_13)

Laws of programming with concurrency (Invited Talk)

Tony Hoare

In Andrew V. Jones and Nicholas Ng, editors, 2013 Imperial College Computing Student Workshop‚ ICCSW 2013‚ September 26/27‚ 2013‚ London‚ United Kingdom. Vol. 35 of OASICS. Pages 1−1. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik‚ Germany. 2013.

Details about Laws of programming with concurrency (Invited Talk) | BibTeX data for Laws of programming with concurrency (Invited Talk) | DOI (10.4230/OASIcs.ICCSW.2013.1)

In praise of algebra

Tony Hoare and Stephan van Staden

In Formal Asp. Comput.. Vol. 24. No. 4−6. Pages 423−431. 2012.

Details about In praise of algebra | BibTeX data for In praise of algebra | DOI (10.1007/s00165-012-0249-0)

Net Models for Concurrent Object Behaviour

Tony Hoare

In Serge Haddad and Lucia Pomello, editors, Application and Theory of Petri Nets − 33rd International Conference‚ PETRI NETS 2012‚ Hamburg‚ Germany‚ June 25−29‚ 2012. Proceedings. Vol. 7347 of Lecture Notes in Computer Science. Pages 1−2. Springer. 2012.

Details about Net Models for Concurrent Object Behaviour | BibTeX data for Net Models for Concurrent Object Behaviour | DOI (10.1007/978-3-642-31131-4_1)

Algebra of concurrent design

Tony Hoare

In Gianpiero Cabodi and Satnam Singh, editors, Formal Methods in Computer−Aided Design‚ FMCAD 2012‚ Cambridge‚ UK‚ October 22−25‚ 2012. Pages 5. IEEE. 2012.

Details about Algebra of concurrent design | BibTeX data for Algebra of concurrent design | Link to Algebra of concurrent design

The Laws of Programming Unify Process Calculi

Tony Hoare and Stephan van Staden

In Jeremy Gibbons and Pablo Nogueira, editors, Mathematics of Program Construction − 11th International Conference‚ MPC 2012‚ Madrid‚ Spain‚ June 25−27‚ 2012. Proceedings. Vol. 7342 of Lecture Notes in Computer Science. Pages 7−22. Springer. 2012.

Details about The Laws of Programming Unify Process Calculi | BibTeX data for The Laws of Programming Unify Process Calculi | DOI (10.1007/978-3-642-31113-0_2)

Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award

Tony Hoare

In John Field and Michael Hicks, editors, Proceedings of the 39th ACM SIGPLAN−SIGACT Symposium on Principles of Programming Languages‚ POPL 2012‚ Philadelphia‚ Pennsylvania‚ USA‚ January 22−28‚ 2012. Pages 3−6. ACM. 2012.

Details about Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award | BibTeX data for Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award | DOI (10.1145/2103656.2103659)

Algebra Unifies Operational Calculi

Stephan van Staden and Tony Hoare

In Burkhart Wolff‚ Marie−Claude Gaudel and Abderrahmane Feliachi, editors, Unifying Theories of Programming‚ 4th International Symposium‚ UTP 2012‚ Paris‚ France‚ August 27−28‚ 2012‚ Revised Selected Papers. Vol. 7681 of Lecture Notes in Computer Science. Pages 88−104. Springer. 2012.

Details about Algebra Unifies Operational Calculi | BibTeX data for Algebra Unifies Operational Calculi | DOI (10.1007/978-3-642-35705-3_4)

Software and Systems Safety − Specification and Verification

Manfred Broy‚ Christian Leuxner and Tony Hoare, editors

Vol. 30 of NATO Science for Peace and Security Series − D: Information and Communication Security. IOS Press. 2011.

Details about Software and Systems Safety − Specification and Verification | BibTeX data for Software and Systems Safety − Specification and Verification | DOI (10.3233/978-1-60750-711-6)

Concurrent Kleene Algebra and its Foundations

Tony Hoare‚ Bernhard Möller‚ Georg Struth and Ian Wehrman

In J. Log. Algebr. Program.. Vol. 80. No. 6. Pages 266−296. 2011.

Details about Concurrent Kleene Algebra and its Foundations | BibTeX data for Concurrent Kleene Algebra and its Foundations | DOI (10.1016/j.jlap.2011.04.005)

Recovery Blocks

Tony Hoare

In Cliff B. Jones and John L. Lloyd, editors, Dependable and Historic Computing − Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday. Vol. 6875 of Lecture Notes in Computer Science. Pages 261−266. Springer. 2011.

Details about Recovery Blocks | BibTeX data for Recovery Blocks | DOI (10.1007/978-3-642-24541-1_19)

On Locality and the Exchange Law for Concurrent Processes

C. A. R. Hoare‚ Akbar Hussain‚ Bernhard Möller‚ Peter W. O'Hearn‚ Rasmus Lerchedahl Petersen and Georg Struth

In Joost−Pieter Katoen and Barbara König, editors, CONCUR 2011 − Concurrency Theory − 22nd International Conference‚ CONCUR 2011‚ Aachen‚ Germany‚ September 6−9‚ 2011. Proceedings. Vol. 6901 of Lecture Notes in Computer Science. Pages 250−264. Springer. 2011.

Details about On Locality and the Exchange Law for Concurrent Processes | BibTeX data for On Locality and the Exchange Law for Concurrent Processes | DOI (10.1007/978-3-642-23217-6_17)

Unifying Models of Data Flow

Tony Hoare and John Wickerson

In Manfred Broy‚ Christian Leuxner and Tony Hoare, editors, Software and Systems Safety − Specification and Verification. Vol. 30 of NATO Science for Peace and Security Series − D: Information and Communication Security. Pages 211−230. IOS Press. 2011.

Details about Unifying Models of Data Flow | BibTeX data for Unifying Models of Data Flow | DOI (10.3233/978-1-60750-711-6-211)

Fine−grain concurrency

Tony Hoare

In Concurrency and Computation: Practice and Experience. Vol. 22. No. 8. Pages 912−934. 2010.

Details about Fine−grain concurrency | BibTeX data for Fine−grain concurrency | DOI (10.1002/cpe.1457)

CSP is a retract of CCS

Jifeng He and Tony Hoare

In Theor. Comput. Sci.. Vol. 411. No. 11−13. Pages 1311−1337. 2010.

Details about CSP is a retract of CCS | BibTeX data for CSP is a retract of CCS | DOI (10.1016/j.tcs.2009.12.012)

Unraveling a Card Trick

Tony Hoare and Natarajan Shankar

In Zohar Manna and Doron Peled, editors, Time for Verification‚ Essays in Memory of Amir Pnueli. Vol. 6200 of Lecture Notes in Computer Science. Pages 195−201. Springer. 2010.

Details about Unraveling a Card Trick | BibTeX data for Unraveling a Card Trick | DOI (10.1007/978-3-642-13754-9_10)

Differential static analysis: opportunities‚ applications‚ and challenges

Shuvendu K. Lahiri‚ Kapil Vaswani and C. A. R. Hoare

In Gruia−Catalin Roman and Kevin J. Sullivan, editors, Proceedings of the Workshop on Future of Software Engineering Research‚ FoSER 2010‚ at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering‚ 2010‚ Santa Fe‚ NM‚ USA‚ November 7−11‚ 2010. Pages 201−204. ACM. 2010.

Details about Differential static analysis: opportunities‚ applications‚ and challenges | BibTeX data for Differential static analysis: opportunities‚ applications‚ and challenges | DOI (10.1145/1882362.1882405)

Testing and Proving‚ Hand−in−Hand

Tony Hoare

In Leonardo Bottaci and Gordon Fraser, editors, Testing − Practice and Research Techniques‚ 5th International Academic and Industrial Conference‚ TAIC PART 2010‚ Windsor‚ UK‚ September 3−5‚ 2010. Proceedings. Vol. 6303 of Lecture Notes in Computer Science. Pages 5−6. Springer. 2010.

Details about Testing and Proving‚ Hand−in−Hand | BibTeX data for Testing and Proving‚ Hand−in−Hand | DOI (10.1007/978-3-642-15585-7_2)

Viewpoint − Retrospective: an axiomatic basis for computer programming

C. A. R. Hoare

In Commun. ACM. Vol. 52. No. 10. Pages 30−32. 2009.

Details about Viewpoint − Retrospective: an axiomatic basis for computer programming | BibTeX data for Viewpoint − Retrospective: an axiomatic basis for computer programming | DOI (10.1145/1562764.1562779)

Preface to special issue on software verification

C. A. R. Hoare and Jayadev Misra

In ACM Comput. Surv.. Vol. 41. No. 4. 2009.

Details about Preface to special issue on software verification | BibTeX data for Preface to special issue on software verification | DOI (10.1145/1592434.1592435)

The verified software initiative: A manifesto

C. A. R. Hoare‚ Jayadev Misra‚ Gary T. Leavens and Natarajan Shankar

In ACM Comput. Surv.. Vol. 41. No. 4. 2009.

Details about The verified software initiative: A manifesto | BibTeX data for The verified software initiative: A manifesto | DOI (10.1145/1592434.1592439)

Graphical models of separation logic

Ian Wehrman‚ C. A. R. Hoare and Peter W. O'Hearn

In Inf. Process. Lett.. Vol. 109. No. 17. Pages 1001−1004. 2009.

Details about Graphical models of separation logic | BibTeX data for Graphical models of separation logic | DOI (10.1016/j.ipl.2009.06.003)

Foundations of Concurrent Kleene Algebra

C. A. R. Hoare‚ Bernhard Möller‚ Georg Struth and Ian Wehrman

In Rudolf Berghammer‚ Ali Jaoua and Bernhard Möller, editors, Relations and Kleene Algebra in Computer Science‚ 11th International Conference on Relational Methods in Computer Science‚ RelMiCS 2009‚ and 6th International Conference on Applications of Kleene Algebra‚ AKA 2009‚ Doha‚ Qatar‚ November 1−5‚ 2009. Proceedings. Vol. 5827 of Lecture Notes in Computer Science. Pages 166−186. Springer. 2009.

Details about Foundations of Concurrent Kleene Algebra | BibTeX data for Foundations of Concurrent Kleene Algebra | DOI (10.1007/978-3-642-04639-1_12)

Concurrent Kleene Algebra

C. A. R. Hoare‚ Bernhard Möller‚ Georg Struth and Ian Wehrman

In Mario Bravetti and Gianluigi Zavattaro, editors, CONCUR 2009 − Concurrency Theory‚ 20th International Conference‚ CONCUR 2009‚ Bologna‚ Italy‚ September 1−4‚ 2009. Proceedings. Vol. 5710 of Lecture Notes in Computer Science. Pages 399−414. Springer. 2009.

Details about Concurrent Kleene Algebra | BibTeX data for Concurrent Kleene Algebra | DOI (10.1007/978-3-642-04081-8_27)

Verification of Fine−grain Concurrent Programs

Tony Hoare

In Electr. Notes Theor. Comput. Sci.. Vol. 209. Pages 165−171. 2008.

Details about Verification of Fine−grain Concurrent Programs | BibTeX data for Verification of Fine−grain Concurrent Programs | DOI (10.1016/j.entcs.2008.04.010)

Separation Logic Semantics for Communicating Processes

Tony Hoare and Peter W. O'Hearn

In Electr. Notes Theor. Comput. Sci.. Vol. 212. Pages 3−25. 2008.

Details about Separation Logic Semantics for Communicating Processes | BibTeX data for Separation Logic Semantics for Communicating Processes | DOI (10.1016/j.entcs.2008.04.050)

Keynote: A Vision for the Science of Computing

Tony Hoare

In Erol Gelenbe‚ Samson Abramsky and Vladimiro Sassone, editors, Visions of Computer Science − BCS International Academic Conference‚ Imperial College‚ London‚ UK‚ 22−24 September 2008. Pages 1−29. British Computer Society. 2008.

Details about Keynote: A Vision for the Science of Computing | BibTeX data for Keynote: A Vision for the Science of Computing | Download (pdf) of Keynote: A Vision for the Science of Computing

Verified Software: Theories‚ Tools‚ Experiments

Tony Hoare

In 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008)‚ March 31 2008 − April 3 2008‚ Belfast‚ Northern Ireland. Pages 3. IEEE Computer Society. 2008.

Details about Verified Software: Theories‚ Tools‚ Experiments | BibTeX data for Verified Software: Theories‚ Tools‚ Experiments | DOI (10.1109/ICECCS.2008.42)

Fine−Grain Concurrency

Tony Hoare

In Peter Müller, editor, Advanced Lectures on Software Engineering‚ LASER Summer School 2007/2008. Vol. 6029 of Lecture Notes in Computer Science. Pages 1−20. Springer. 2008.

Details about Fine−Grain Concurrency | BibTeX data for Fine−Grain Concurrency | DOI (10.1007/978-3-642-13010-6_1)

Compensable Transactions

Tony Hoare

In Peter Müller, editor, Advanced Lectures on Software Engineering‚ LASER Summer School 2007/2008. Vol. 6029 of Lecture Notes in Computer Science. Pages 21−40. Springer. 2008.

Details about Compensable Transactions | BibTeX data for Compensable Transactions | DOI (10.1007/978-3-642-13010-6_2)

The Ideal of Program Correctness: Third Computer Journal Lecture

Tony Hoare

In Comput. J.. Vol. 50. No. 3. Pages 254−260. 2007.

Details about The Ideal of Program Correctness: Third Computer Journal Lecture | BibTeX data for The Ideal of Program Correctness: Third Computer Journal Lecture | DOI (10.1093/comjnl/bxl078)

Science and Engineering: A Collusion of Cultures

Tony Hoare

In The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks‚ DSN 2007‚ 25−28 June 2007‚ Edinburgh‚ UK‚ Proceedings. Pages 2−9. IEEE Computer Society. 2007.

Details about Science and Engineering: A Collusion of Cultures | BibTeX data for Science and Engineering: A Collusion of Cultures | DOI (10.1109/DSN.2007.87)

Fine−grain Concurrency

Tony Hoare

In Alistair A. McEwan‚ Steve A. Schneider‚ Wilson Ifill and Peter H. Welch, editors, The 30th Communicating Process Architectures Conference‚ CPA 2007‚ organised under the auspices of WoTUG and the University of Surrey‚ Guildford‚ Surrey‚ UK‚ 8−11 July 2007. Vol. 65 of Concurrent Systems Engineering Series. Pages 1−19. IOS Press. 2007.

Details about Fine−grain Concurrency | BibTeX data for Fine−grain Concurrency | Link to Fine−grain Concurrency

Speech of Acceptance‚ Fellowship of the Computer History Museum

C. A. R. Hoare

2007.

Word−processed manuscript

Details about Speech of Acceptance‚ Fellowship of the Computer History Museum | BibTeX data for Speech of Acceptance‚ Fellowship of the Computer History Museum | Download  (pdf) of Speech of Acceptance‚ Fellowship of the Computer History Museum

Historic documents

C. A. R. Hoare

October, 2006.

Copies of six papers held in Computer History Museum‚ Mountain View; with preface

Details about Historic documents | BibTeX data for Historic documents | Download H2006 - Historic Predictions.pdf of Historic documents | Download H2006 - Historic Problems.pdf of Historic documents | Download H2006 - Historic Processor.pdf of Historic documents | Download H2006 - Historic ALGOL.pdf of Historic documents | Download H2006 - Historic Quicksort.pdf of Historic documents | Download H2006 - Historic Russian.pdf of Historic documents | Download H2006 - Historic.pdf of Historic documents

Why ever CSP?

Tony Hoare

In Electr. Notes Theor. Comput. Sci.. Vol. 162. Pages 209−215. 2006.

Details about Why ever CSP? | BibTeX data for Why ever CSP? | DOI (10.1016/j.entcs.2006.01.031)

Intelligent Systems and Formal Methods in Software Engineering

Bernhard Beckert‚ Tony Hoare‚ Reiner Hähnle‚ Douglas R. Smith‚ Cordell Green‚ Silvio Ranise‚ Cesare Tinelli‚ Thomas Ball and Sriram K. Rajamani

In IEEE Intelligent Systems. Vol. 21. No. 6. Pages 71−81. 2006.

Details about Intelligent Systems and Formal Methods in Software Engineering | BibTeX data for Intelligent Systems and Formal Methods in Software Engineering | DOI (10.1109/MIS.2006.117)

The verified software repository: a step towards the verifying compiler

Juan Bicarregui‚ C. A. R. Hoare and J. C. P. Woodcock

In Formal Asp. Comput.. Vol. 18. No. 2. Pages 143−151. 2006.

Details about The verified software repository: a step towards the verifying compiler | BibTeX data for The verified software repository: a step towards the verifying compiler | DOI (10.1007/s00165-005-0079-4)

The ideal of verified software

Tony Hoare

In Panagiotis Manolios and Matthew Wilding, editors, Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications‚ ACL2 2006‚ Seattle‚ Washington‚ USA‚ August 15−16‚ 2006. Pages 61−62. ACM. 2006.

Details about The ideal of verified software | BibTeX data for The ideal of verified software | DOI (10.1145/1217975.1217988)

The Ideal of Verified Software

Tony Hoare

In Thomas Ball and Robert B. Jones, editors, Computer Aided Verification‚ 18th International Conference‚ CAV 2006‚ Seattle‚ WA‚ USA‚ August 17−20‚ 2006‚ Proceedings. Vol. 4144 of Lecture Notes in Computer Science. Pages 5−16. Springer. 2006.

Details about The Ideal of Verified Software | BibTeX data for The Ideal of Verified Software | DOI (10.1007/11817963_4)

Proving correctness of highly−concurrent linearisable objects

Viktor Vafeiadis‚ Maurice Herlihy‚ Tony Hoare and Marc Shapiro

In Josep Torrellas and Siddhartha Chatterjee, editors, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming‚ PPOPP 2006‚ New York‚ New York‚ USA‚ March 29−31‚ 2006. Pages 129−136. ACM. 2006.

Details about Proving correctness of highly−concurrent linearisable objects | BibTeX data for Proving correctness of highly−concurrent linearisable objects | DOI (10.1145/1122971.1122992)

CSP Is a Retract of CCS

Jifeng He and C. A. R. Hoare

In Steve Dunne and Bill Stoddart, editors, Unifying Theories of Programming‚ First International Symposium‚ UTP 2006‚ Walworth Castle‚ County Durham‚ UK‚ February 5−7‚ 2006‚ Revised Selected Papers. Vol. 4010 of Lecture Notes in Computer Science. Pages 38−62. Springer. 2006.

Details about CSP Is a Retract of CCS | BibTeX data for CSP Is a Retract of CCS | DOI (10.1007/11768173_3)

Grand Challenges for Computing Research

Tony Hoare and Robin Milner

In Comput. J.. Vol. 48. No. 1. Pages 49−52. 2005.

Details about Grand Challenges for Computing Research | BibTeX data for Grand Challenges for Computing Research | DOI (10.1093/comjnl/bxh065)

Comparing Two Approaches to Compensable Flow Composition

Roberto Bruni‚ Michael J. Butler‚ Carla Ferreira‚ C. A. R. Hoare‚ Hernán C. Melgratti and Ugo Montanari

In Martín Abadi and Luca de Alfaro, editors, CONCUR 2005 − Concurrency Theory‚ 16th International Conference‚ CONCUR 2005‚ San Francisco‚ CA‚ USA‚ August 23−26‚ 2005‚ Proceedings. Vol. 3653 of Lecture Notes in Computer Science. Pages 383−397. Springer. 2005.

Details about Comparing Two Approaches to Compensable Flow Composition | BibTeX data for Comparing Two Approaches to Compensable Flow Composition | DOI (10.1007/11539452_30)

Linking Theories of Concurrency

Jifeng He and C. A. R. Hoare

In Dang Van Hung and Martin Wirsing, editors, Theoretical Aspects of Computing − ICTAC 2005‚ Second International Colloquium‚ Hanoi‚ Vietnam‚ October 17−21‚ 2005‚ Proceedings. Vol. 3722 of Lecture Notes in Computer Science. Pages 303−317. Springer. 2005.

Details about Linking Theories of Concurrency | BibTeX data for Linking Theories of Concurrency | DOI (10.1007/11560647_20)

The Verifying Compiler‚ a Grand Challenge for Computing Research

C. A. R. Hoare

In Radhia Cousot, editor, Verification‚ Model Checking‚ and Abstract Interpretation‚ 6th International Conference‚ VMCAI 2005‚ Paris‚ France‚ January 17−19‚ 2005‚ Proceedings. Vol. 3385 of Lecture Notes in Computer Science. Pages 78−78. Springer. 2005.

Details about The Verifying Compiler‚ a Grand Challenge for Computing Research | BibTeX data for The Verifying Compiler‚ a Grand Challenge for Computing Research | DOI (10.1007/978-3-540-30579-8_5)

Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project

Tony Hoare and Jayadev Misra

In Bertrand Meyer and Jim Woodcock, editors, Verified Software: Theories‚ Tools‚ Experiments‚ First IFIP TC 2/WG 2.3 Conference‚ VSTTE 2005‚ Zurich‚ Switzerland‚ October 10−13‚ 2005‚ Revised Selected Papers and Discussions. Vol. 4171 of Lecture Notes in Computer Science. Pages 1−18. Springer. 2005.

Details about Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project | BibTeX data for Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project | DOI (10.1007/978-3-540-69149-5_1)

All in the Mind—but Not in the Software

C. A. R. Hoare

In Times Higher. October, 2004.

Review of ‘What is Thought?"‚ by Eric Baum

Details about All in the Mind—but Not in the Software | BibTeX data for All in the Mind—but Not in the Software | Download  (pdf) of All in the Mind—but Not in the Software

Fractional Shifts Produce Sweet Sound of Spheres

C. A. R. Hoare

In Times Higher. May, 2004.

Review of ‘Music and Mathematics: from Pythagoras to Fractals'‚ by Fauvel‚ Flood and Wilson

Details about Fractional Shifts Produce Sweet Sound of Spheres | BibTeX data for Fractional Shifts Produce Sweet Sound of Spheres | Download  (pdf) of Fractional Shifts Produce Sweet Sound of Spheres

Process Algebra: A Unifying Approach

C. A. R. Hoare

In Ali E. Abdallah‚ Cliff B. Jones and Jeff W. Sanders, editors, Communicating Sequential Processes: The First 25 Years‚ Symposium on the Occasion of 25 Years of CSP‚ London‚ UK‚ July 7−8‚ 2004‚ Revised Invited Papers. Vol. 3525 of Lecture Notes in Computer Science. Pages 36−60. Springer. 2004.

Details about Process Algebra: A Unifying Approach | BibTeX data for Process Algebra: A Unifying Approach | DOI (10.1007/11423348_3)

Towards the Verifying Compiler

C. A. R. Hoare

In Olaf Owe‚ Stein Krogdahl and Tom Lyche, editors, From Object−Orientation to Formal Methods‚ Essays in Memory of Ole−Johan Dahl. Vol. 2635 of Lecture Notes in Computer Science. Pages 124−136. Springer. 2004.

Details about Towards the Verifying Compiler | BibTeX data for Towards the Verifying Compiler | DOI (10.1007/978-3-540-39993-3_8)

A Trace Semantics for Long−Running Transactions

Michael J. Butler‚ C. A. R. Hoare and Carla Ferreira

In Ali E. Abdallah‚ Cliff B. Jones and Jeff W. Sanders, editors, Communicating Sequential Processes: The First 25 Years‚ Symposium on the Occasion of 25 Years of CSP‚ London‚ UK‚ July 7−8‚ 2004‚ Revised Invited Papers. Vol. 3525 of Lecture Notes in Computer Science. Pages 133−150. Springer. 2004.

Details about A Trace Semantics for Long−Running Transactions | BibTeX data for A Trace Semantics for Long−Running Transactions | DOI (10.1007/11423348_8)

Stuck−Free Conformance

Cédric Fournet‚ C. A. R. Hoare‚ Sriram K. Rajamani and Jakob Rehof

In Rajeev Alur and Doron Peled, editors, Computer Aided Verification‚ 16th International Conference‚ CAV 2004‚ Boston‚ MA‚ USA‚ July 13−17‚ 2004‚ Proceedings. Vol. 3114 of Lecture Notes in Computer Science. Pages 242−254. Springer. 2004.

Details about Stuck−Free Conformance | BibTeX data for Stuck−Free Conformance | DOI (10.1007/978-3-540-27813-9_19)

Equating Simulation with Refinement

Jifeng He‚ Tony Hoare‚ Cedric Fournet‚ Paul Gardiner‚ Sriram Rajamani‚ Jakob Rehof and Bill Roscoe

November, 2003.

LaTeXed manuscript

Details about Equating Simulation with Refinement | BibTeX data for Equating Simulation with Refinement | Download  (pdf) of Equating Simulation with Refinement

Assertions: A Personal Perspective

C. A. R. Hoare

In IEEE Annals of the History of Computing. Vol. 25. No. 2. Pages 14−25. 2003.

Details about Assertions: A Personal Perspective | BibTeX data for Assertions: A Personal Perspective | DOI (10.1109/MAHC.2003.1203056)

The verifying compiler: A grand challenge for computing research

C. A. R. Hoare

In J. ACM. Vol. 50. No. 1. Pages 63−69. 2003.

Details about The verifying compiler: A grand challenge for computing research | BibTeX data for The verifying compiler: A grand challenge for computing research | DOI (10.1145/602382.602403)

Review of ‘A Shortcut through Time'

C. A. R. Hoare

In The Times Higher. September, 2003.

Details about Review of ‘A Shortcut through Time' | BibTeX data for Review of ‘A Shortcut through Time' | Download H2003 - Shortcut 2.pdf of Review of ‘A Shortcut through Time' | Download H2003 - Shortcut.pdf of Review of ‘A Shortcut through Time'

Review of ‘Behind Deep Blue'

C. A. R. Hoare

In The Times Higher. February, 2003.

Details about Review of ‘Behind Deep Blue' | BibTeX data for Review of ‘Behind Deep Blue' | Download  (pdf) of Review of ‘Behind Deep Blue'

The Verifying Compiler: A Grand Challenge for Computing Research

C. A. R. Hoare

In Görel Hedin, editor, Compiler Construction‚ 12th International Conference‚ CC 2003‚ Held as Part of the Joint European Conferences on Theory and Practice of Software‚ ETAPS 2003‚ Warsaw‚ Poland‚ April 7−11‚ 2003‚ Proceedings. Vol. 2622 of Lecture Notes in Computer Science. Pages 262−272. Springer. 2003.

Details about The Verifying Compiler: A Grand Challenge for Computing Research | BibTeX data for The Verifying Compiler: A Grand Challenge for Computing Research | DOI (10.1007/3-540-36579-6_19)

The Verifying Compiler: A Grand Challenge for Computing Research

C. A. R. Hoare

In Manfred Broy and Alexandre V. Zamulin, editors, Perspectives of Systems Informatics‚ 5th International Andrei Ershov Memorial Conference‚ PSI 2003‚ Akademgorodok‚ Novosibirsk‚ Russia‚ July 9−12‚ 2003‚ Revised Papers. Vol. 2890 of Lecture Notes in Computer Science. Pages 1−12. Springer. 2003.

Details about The Verifying Compiler: A Grand Challenge for Computing Research | BibTeX data for The Verifying Compiler: A Grand Challenge for Computing Research | DOI (10.1007/978-3-540-39866-0_1)

The Verifying Compiler: A Grand Challenge for Computing Research

C. A. R. Hoare

In Harald Kosch‚ László Böszörményi and Hermann Hellwagner, editors, Euro−Par 2003. Parallel Processing‚ 9th International Euro−Par Conference‚ Klagenfurt‚ Austria‚ August 26−29‚ 2003. Proceedings. Vol. 2790 of Lecture Notes in Computer Science. Pages 1. Springer. 2003.

Details about The Verifying Compiler: A Grand Challenge for Computing Research | BibTeX data for The Verifying Compiler: A Grand Challenge for Computing Research | DOI (10.1007/978-3-540-45209-6_1)

The Verifying Compiler: A Grand Challange for Computing Research

C. A. R. Hoare

In László Böszörményi and Peter Schojer, editors, Modular Programming Languages‚ Joint Modular Languages Conference‚ JMLC 2003‚ Klagenfurt‚ Austria‚ August 25−27‚ 2003‚ Proceedings. Vol. 2789 of Lecture Notes in Computer Science. Pages 25−35. Springer. 2003.

Details about The Verifying Compiler: A Grand Challange for Computing Research | BibTeX data for The Verifying Compiler: A Grand Challange for Computing Research | DOI (10.1007/978-3-540-45213-3_4)

A Semantics of Compensations for Long−Running Transactions

C. A. R. Hoare

June, 2003.

Word−processed manuscript

Details about A Semantics of Compensations for Long−Running Transactions | BibTeX data for A Semantics of Compensations for Long−Running Transactions | Download  (pdf) of A Semantics of Compensations for Long−Running Transactions

The Verifying Compiler: A Grand Challenge for Computing Research

C. A. R. Hoare

July, 2003.

Slides

Details about The Verifying Compiler: A Grand Challenge for Computing Research | BibTeX data for The Verifying Compiler: A Grand Challenge for Computing Research | Download  (pdf) of The Verifying Compiler: A Grand Challenge for Computing Research

Bundle of materials about UKCRC Grand Challenges

C. A. R. Hoare and others

2002--2004.

Details about Bundle of materials about UKCRC Grand Challenges | BibTeX data for Bundle of materials about UKCRC Grand Challenges | Download Grand - Committee.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Cluster.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Exemplar.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Woodcock.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Reeuwijk.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Necula.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Milner (3).pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Milner (2).pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Milner.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Theories.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Exercise (3).pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Exercise (2).pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Proposal.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Journeys (2).pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Journeys.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Dependable.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Architecture.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Scalable.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Memories (2).pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Memories.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Global.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Vivo (2).pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Vivo.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Exercise Bundy.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand - Exercise.pdf of Bundle of materials about UKCRC Grand Challenges | Download Grand.pdf of Bundle of materials about UKCRC Grand Challenges

Assertions in Programming: From Scientific Theory to Engineering Practice

C. A. R. Hoare

April, 2002.

Slides and notes for talk

Details about Assertions in Programming: From Scientific Theory to Engineering Practice | BibTeX data for Assertions in Programming: From Scientific Theory to Engineering Practice | Download  (pdf) of Assertions in Programming: From Scientific Theory to Engineering Practice

Why Don't Best Practices Get Adopted?

C. A. R. Hoare

March, 2002.

Email thread

Details about Why Don't Best Practices Get Adopted? | BibTeX data for Why Don't Best Practices Get Adopted? | Download  (pdf) of Why Don't Best Practices Get Adopted?

Assert Early‚ Assert Often

C. A. R. Hoare

February, 2002.

Notes on slides from Microsoft TechFest; slides online at http://research.microsoft.com/en-us/people/thoare/assertearlyassertoften.ppt

Details about Assert Early‚ Assert Often | BibTeX data for Assert Early‚ Assert Often | Download H2002 - Assert (2).pdf of Assert Early‚ Assert Often | Download H2002 - Assert.pdf of Assert Early‚ Assert Often

Tools and Technology for Trusted Code

Jon Pincus and C. A. R. Hoare

February, 2002.

Annotated draft

Details about Tools and Technology for Trusted Code | BibTeX data for Tools and Technology for Trusted Code | Download  (pdf) of Tools and Technology for Trusted Code

In memoriam: Edsger W. Dijkstra 1930−2002

Robert S. Boyer‚ W. H. J. Feijen‚ David Gries‚ C. A. R. Hoare‚ Jayadev Misra‚ J. Moore and H. Richards

In Commun. ACM. Vol. 45. No. 10. Pages 21−22. 2002.

Details about In memoriam: Edsger W. Dijkstra 1930−2002 | BibTeX data for In memoriam: Edsger W. Dijkstra 1930−2002

Review of ‘Conversations with a Mathematician'

C. A. R. Hoare

In The Times Higher. March, 2002.

Details about Review of ‘Conversations with a Mathematician' | BibTeX data for Review of ‘Conversations with a Mathematician' | Download  (pdf) of Review of ‘Conversations with a Mathematician'

Assertions in Modern Software Engineering Practice

C. A. R. Hoare

In 26th International Computer Software and Applications Conference (COMPSAC 2002)‚ Prolonging Software Life: Development and Redevelopment‚ 26−29 August 2002‚ Oxford‚ England‚ Proceedings. Pages 459−462. IEEE Computer Society. 2002.

Details about Assertions in Modern Software Engineering Practice | BibTeX data for Assertions in Modern Software Engineering Practice

Assertions in Programming: From Scientific Theory to Engineering Practice

C. A. R. Hoare

In David W. Bustard‚ Weiru Liu and Roy Sterritt, editors, Soft−Ware 2002: Computing in an Imperfect World‚ First International Conference‚ Soft−Ware 2002‚ Belfast‚ Northern Ireland‚ April 8−10‚ 2002‚ Proceedings. Vol. 2311 of Lecture Notes in Computer Science. Pages 350−351. Springer. 2002.

Details about Assertions in Programming: From Scientific Theory to Engineering Practice | BibTeX data for Assertions in Programming: From Scientific Theory to Engineering Practice | DOI (10.1007/3-540-46019-5_27)

Towards the Verifying Compiler

C. A. R. Hoare

In Bernhard K. Aichernig and T. S. E. Maibaum, editors, Formal Methods at the Crossroads. From Panacea to Foundational Support‚ 10th Anniversary Colloquium of UNU/IIST‚ the International Institute for Software Technology of The United Nations University‚ Lisbon‚ Portugal‚ March 18−20‚ 2002‚ Revised Papers. Vol. 2757 of Lecture Notes in Computer Science. Pages 151−160. Springer. 2002.

Details about Towards the Verifying Compiler | BibTeX data for Towards the Verifying Compiler | DOI (10.1007/978-3-540-40007-3_10)

Legacy

C. A. R. Hoare

In Inf. Process. Lett.. Vol. 77. No. 2−4. Pages 123−129. 2001.

Details about Legacy | BibTeX data for Legacy | DOI (10.1016/S0020-0190(00)00209-X)

Assertions: A Personal Perspective

C. A. R. Hoare

In Computer Software. Vol. 18. No. 4. Pages 2−17. 2001.

Reprint of Kyoto Prize lecture

Details about Assertions: A Personal Perspective | BibTeX data for Assertions: A Personal Perspective | Download  (pdf) of Assertions: A Personal Perspective

Growing Use of Assertions

C. A. R. Hoare

In TOOLS Europe 2001: 38th International Conference on Technology of Object−Oriented Languages and Systems‚ Components for Mobile Computing‚ Zurich‚ Switzerland‚ 12−14 March 2001. Pages 3. IEEE Computer Society. 2001.

Details about Growing Use of Assertions | BibTeX data for Growing Use of Assertions | DOI (10.1109/TOOLS.2001.10005)

Kyoto Prize acceptance speech and biographical notes

C. A. R. Hoare

July, 2000.

Various drafts‚ including an 11−page long version. The eventual talk was quite different—took care to make favourable mention to all previous winners (Quine‚ McCarthy‚ Knuth‚ Wilkes‚ Popper).

Details about Kyoto Prize acceptance speech and biographical notes | BibTeX data for Kyoto Prize acceptance speech and biographical notes | Download H2000 - Kyoto (3).pdf of Kyoto Prize acceptance speech and biographical notes | Download H2000 - Kyoto (2).pdf of Kyoto Prize acceptance speech and biographical notes | Download H2000 - Kyoto.pdf of Kyoto Prize acceptance speech and biographical notes

Normal Forms for Synchronous and Asynchronous Process Calculi

Tony Hoare‚ Cedric Fournet and Silvano dal Zilio

March, 2000.

Various drafts of a discussion paper

Details about Normal Forms for Synchronous and Asynchronous Process Calculi | BibTeX data for Normal Forms for Synchronous and Asynchronous Process Calculi | Download H2000 - Normal (2).pdf of Normal Forms for Synchronous and Asynchronous Process Calculi | Download H2000 - Normal.pdf of Normal Forms for Synchronous and Asynchronous Process Calculi

A Hard Act to Follow

C. A. R. Hoare

In Higher−Order and Symbolic Computation. Vol. 13. No. 1/2. Pages 71−72. 2000.

Details about A Hard Act to Follow | BibTeX data for A Hard Act to Follow | DOI (10.1023/A:1010053724918)

Unifying theories of healthiness condition

Jifeng He and C. A. R. Hoare

In 7th Asia−Pacific Software Engineering Conference (APSEC 2000)‚ 5−8 December 2000‚ Singapore. Pages 70−. IEEE Computer Society. 2000.

Details about Unifying theories of healthiness condition | BibTeX data for Unifying theories of healthiness condition | DOI (10.1109/APSEC.2000.896685)

Algebraic derivation of an operational semantics

C. A. R. Hoare‚ Jifeng He and Augusto Sampaio

In Gordon D. Plotkin‚ Colin Stirling and Mads Tofte, editors, Proof‚ Language‚ and Interaction‚ Essays in Honour of Robin Milner. Pages 77−98. The MIT Press. 2000.

Details about Algebraic derivation of an operational semantics | BibTeX data for Algebraic derivation of an operational semantics

Legacy Code

C. A. R. Hoare

In ICFEM. Pages 75. 2000.

Details about Legacy Code | BibTeX data for Legacy Code | Download (pdf) of Legacy Code

Assertions

C. A. R. Hoare

In Wolfgang Grieskamp‚ Thomas Santen and Bill Stoddart, editors, Integrated Formal Methods‚ Second International Conference‚ IFM 2000‚ Dagstuhl Castle‚ Germany‚ November 1−3‚ 2000‚ Proceedings. Vol. 1945 of Lecture Notes in Computer Science. Pages 1−2. Springer. 2000.

Details about Assertions | BibTeX data for Assertions | DOI (10.1007/3-540-40911-4_1)

Purely Functional Non−determinism

C. A. R. Hoare

April, 2000.

Typed manuscript

Details about Purely Functional Non−determinism | BibTeX data for Purely Functional Non−determinism | Download  (pdf) of Purely Functional Non−determinism

Linking Z and CSP

C. A. R. Hoare

Summer, 1999.

Typed description of internal course given in Oxford

Details about Linking Z and CSP | BibTeX data for Linking Z and CSP | Download  (pdf) of Linking Z and CSP

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle

C. A. R. Hoare

March, 1999.

LaTeXed manuscript

Details about Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle | BibTeX data for Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle | Download  (pdf) of Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle

Linking Theories in Probabilistic Programming

Jifeng He and C. A. R. Hoare

In Inf. Sci.. Vol. 119. No. 3−4. Pages 205−218. 1999.

Details about Linking Theories in Probabilistic Programming | BibTeX data for Linking Theories in Probabilistic Programming | DOI (10.1016/S0020-0255(99)00015-8)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle

C. A. R. Hoare

In Ernst−Rüdiger Olderog and Bernhard Steffen, editors, Correct System Design‚ Recent Insight and Advances‚ (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel). Vol. 1710 of Lecture Notes in Computer Science. Pages 3−28. Springer. 1999.

Details about Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle | BibTeX data for Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle | DOI (10.1007/3-540-48092-7_1)

A Trace Model for Pointers and Objects

C. A. R. Hoare and Jifeng He

In Rachid Guerraoui, editor, ECOOP'99 − Object−Oriented Programming‚ 13th European Conference‚ Lisbon‚ Portugal‚ June 14−18‚ 1999‚ Proceedings. Vol. 1628 of Lecture Notes in Computer Science. Pages 1−17. Springer. 1999.

Details about A Trace Model for Pointers and Objects | BibTeX data for A Trace Model for Pointers and Objects | DOI (10.1007/3-540-48743-3_1)

Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle

C. A. R. Hoare

In Jeannette M. Wing‚ Jim Woodcock and Jim Davies, editors, FM'99 − Formal Methods‚ World Congress on Formal Methods in the Development of Computing Systems‚ Toulouse‚ France‚ September 20−24‚ 1999‚ Proceedings‚ Volume I. Vol. 1708 of Lecture Notes in Computer Science. Pages 1−27. Springer. 1999.

Details about Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle | BibTeX data for Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle | DOI (10.1007/3-540-48119-2_1)

Algebra of Logic Programming

Silvija Seres‚ J. Michael Spivey and C. A. R. Hoare

In Danny De Schreye, editor, Logic Programming: The 1999 International Conference‚ Las Cruces‚ New Mexico‚ USA‚ November 29 − December 4‚ 1999. Pages 184−199. MIT Press. 1999.

Details about Algebra of Logic Programming | BibTeX data for Algebra of Logic Programming

A Semantics for Imprecise Exceptions

Simon L. Peyton Jones‚ Alastair Reid‚ Fergus Henderson‚ C. A. R. Hoare and Simon Marlow

In Barbara G. Ryder and Benjamin G. Zorn, editors, Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)‚ Atlanta‚ Georgia‚ USA‚ May 1−4‚ 1999. Pages 25−36. ACM. 1999.

Details about A Semantics for Imprecise Exceptions | BibTeX data for A Semantics for Imprecise Exceptions

Algebra of Logic Programming

Silvija Seres‚ J. Michael Spivey and C. A. R. Hoare

In International Conference on Logic Programming. Pages 184−199. 1999.

Details about Algebra of Logic Programming | BibTeX data for Algebra of Logic Programming | Download  (pdf) of Algebra of Logic Programming

The Logic of Procedural Readings

Silvija Seres‚ Michael Spivey and Tony Hoare

1999.

LaTeXed submission to FLOPS'99; eventually appeared as ‘Functional Reading of Logic Programs'‚ Seres and Spivey‚ J.UCS 6(4) (2000)‚ doi 10.3217/jucs−006−04−0433

Details about The Logic of Procedural Readings | BibTeX data for The Logic of Procedural Readings | Download  (pdf) of The Logic of Procedural Readings

Unifying theories of programming

Jifeng He and C. A. R. Hoare

In Ewa Orlowska and Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic‚ Algebra and Computer Science‚ 4th International Seminar RelMiCS‚ Warsaw‚ Poland‚ Septermber 14−20‚ 1998. Pages 97−99. 1998.

Details about Unifying theories of programming | BibTeX data for Unifying theories of programming

Unifying Theories for Parallel Programming

C. A. R. Hoare and Jifeng He

In Christian Lengauer‚ Martin Griebl and Sergei Gorlatch, editors, Euro−Par '97 Parallel Processing‚ Third International Euro−Par Conference‚ Passau‚ Germany‚ August 26−29‚ 1997‚ Proceedings. Vol. 1300 of Lecture Notes in Computer Science. Pages 15−30. Springer. 1997.

Details about Unifying Theories for Parallel Programming | BibTeX data for Unifying Theories for Parallel Programming | DOI (10.1007/BFb0002714)

Linking Theories in Computing Science

C. A. R. Hoare

September, 1997.

LaTeXed manuscript

Details about Linking Theories in Computing Science | BibTeX data for Linking Theories in Computing Science | Download  (pdf) of Linking Theories in Computing Science

A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694

Jonathan Bowen‚ C. A. R. Hoare‚ Hans Langmaack‚ Ernst−Rüdiger Olderog and Anders P. Ravn

1996?.

LaTeXed draft

Details about A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694 | BibTeX data for A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694 | Download  (pdf) of A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694

An Algebra For Games of Chance

C. A. R. Hoare

April, 1996.

LaTeXed manuscript

Details about An Algebra For Games of Chance | BibTeX data for An Algebra For Games of Chance | Download  (pdf) of An Algebra For Games of Chance

Unifying Theories : A Personal Statement

C. A. R. Hoare

In ACM Comput. Surv.. Vol. 28. No. 4es. Pages 46. 1996.

Details about Unifying Theories : A Personal Statement | BibTeX data for Unifying Theories : A Personal Statement | DOI (10.1145/242224.242282)

The logic of engineering design

C. A. R. Hoare

In Microprocessing and Microprogramming. Vol. 41. No. 8−9. Pages 525−539. 1996.

Details about The logic of engineering design | BibTeX data for The logic of engineering design | DOI (10.1016/0165-6074(96)00009-9)

How Did Software Get So Reliable Without Proof?

C. A. R. Hoare

In Marie−Claude Gaudel and Jim Woodcock, editors, FME '96: Industrial Benefit and Advances in Formal Methods‚ Third International Symposium of Formal Methods Europe‚ Co−Sponsored by IFIP WG 14.3‚ Oxford‚ UK‚ March 18−22‚ 1996‚ Proceedings. Vol. 1051 of Lecture Notes in Computer Science. Pages 1−17. Springer. 1996.

Details about How Did Software Get So Reliable Without Proof? | BibTeX data for How Did Software Get So Reliable Without Proof? | DOI (10.1007/3-540-60973-3_77)

The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)

C. A. R. Hoare

In H. Dieter Rombach‚ T. S. E. Maibaum and Marvin V. Zelkowitz, editors, 18th International Conference on Software Engineering‚ Berlin‚ Germany‚ March 25−29‚ 1996‚ Proceedings. Pages 233−234. IEEE Computer Society. 1996.

Details about The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract) | BibTeX data for The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract) | Link to The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)

Mathematical models for computing science

C. A. R. Hoare

In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design‚ Marktoberdorf‚ Germany. Pages 115−164. 1996.

Details about Mathematical models for computing science | BibTeX data for Mathematical models for computing science

Thank−you letter to CARH for after−dinner speech at his retirement dinner at Merton

John R. Lucas

June, 1996.

Handwritten. CARH was briefly his philosophy tutee at Merton in 1956

Details about Thank−you letter to CARH for after−dinner speech at his retirement dinner at Merton | BibTeX data for Thank−you letter to CARH for after−dinner speech at his retirement dinner at Merton | Download  (pdf) of Thank−you letter to CARH for after−dinner speech at his retirement dinner at Merton

Comments on ‘An Algebra for Games of Chance'

Michel Sintzoff

June, 1996.

Letter to CARH

Details about Comments on ‘An Algebra for Games of Chance' | BibTeX data for Comments on ‘An Algebra for Games of Chance' | Download Sintzoff 96 - Algebra (2).pdf of Comments on ‘An Algebra for Games of Chance' | Download Sintzoff 96 - Algebra.pdf of Comments on ‘An Algebra for Games of Chance'

Some Properties of the Relative Converse

C. A. R. Hoare

March, 1995.

Handwritten manuscript

Details about Some Properties of the Relative Converse | BibTeX data for Some Properties of the Relative Converse | Download  (pdf) of Some Properties of the Relative Converse

Two−Categorical Models of Parallelism

C. A. R. Hoare

February, 1995.

LaTeXed manuscript

Details about Two−Categorical Models of Parallelism | BibTeX data for Two−Categorical Models of Parallelism | Download  (pdf) of Two−Categorical Models of Parallelism

Sequential Calculus

Burghard von Karger and C. A. R. Hoare

In Inf. Process. Lett.. Vol. 53. No. 3. Pages 123−130. 1995.

Details about Sequential Calculus | BibTeX data for Sequential Calculus | DOI (10.1016/0020-0190(94)00205-D)

Unification of Theories: A Challenge for Computing Science

C. A. R. Hoare

In Magne Haveraaen‚ Olaf Owe and Ole−Johan Dahl, editors, Recent Trends in Data Type Specification‚ 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop‚ Oslo‚ Norway‚ September 19−23‚ 1995‚ Selected Papers. Vol. 1130 of Lecture Notes in Computer Science. Pages 49−57. Springer. 1995.

Details about Unification of Theories: A Challenge for Computing Science | BibTeX data for Unification of Theories: A Challenge for Computing Science | DOI (10.1007/3-540-61629-2_35)

Satisfiability

C. A. R. Hoare

May, 1995.

Handwritten manuscript‚ with response from Bryan Todd

Details about Satisfiability | BibTeX data for Satisfiability | Download  (pdf) of Satisfiability

An Ideal of Software Engineering

C. A. R. Hoare

September, 1995.

LaTeXed manuscript

Details about An Ideal of Software Engineering | BibTeX data for An Ideal of Software Engineering | Download  (pdf) of An Ideal of Software Engineering

Shift Axioms

Burghard von Karger

April, 1995.

Letter to CARH

Details about Shift Axioms | BibTeX data for Shift Axioms | Download  (pdf) of Shift Axioms

A Fragment of Graph Theory

C. A. R. Hoare

1994/5.

Handwritten and LaTeXed manuscript

Details about A Fragment of Graph Theory | BibTeX data for A Fragment of Graph Theory | Download H95 - Fragment (3).pdf of A Fragment of Graph Theory | Download H95 - Fragment (2).pdf of A Fragment of Graph Theory | Download H95 - Fragment.pdf of A Fragment of Graph Theory

Mathematical Models for Computing Science

C. A. R. Hoare

August, 1994.

LaTeXed notes for Marktoberdorf Summer School

Details about Mathematical Models for Computing Science | BibTeX data for Mathematical Models for Computing Science | Download  (pdf) of Mathematical Models for Computing Science

Prefaces to four papers

C. A. R. Hoare

February, 1994.

LaTeXed manuscripts

Details about Prefaces to four papers | BibTeX data for Prefaces to four papers | Download  (pdf) of Prefaces to four papers

Reviews of contributions to ‘A Classical Mind'

C. A. R. Hoare

January, 1994.

Handwritten letters

Details about Reviews of contributions to ‘A Classical Mind' | BibTeX data for Reviews of contributions to ‘A Classical Mind' | Download  (pdf) of Reviews of contributions to ‘A Classical Mind'

Editorial

C. A. R. Hoare

In J. Log. Comput.. Vol. 4. No. 3. Pages 215−216. 1994.

Details about Editorial | BibTeX data for Editorial | Download  (pdf) of Editorial | DOI (10.1093/logcom/4.3.215)

Provably Correct Systems

Jifeng He‚ C. A. R. Hoare‚ Martin Fränzle‚ Markus Müller−Olm‚ Ernst−Rüdiger Olderog‚ Michael Schenke‚ Michael R. Hansen‚ Anders P. Ravn and Hans Rischel

In Hans Langmaack‚ Willem P. de Roever and Jan Vytopil, editors, Formal Techniques in Real−Time and Fault−Tolerant Systems‚ Third International Symposium Organized Jointly with the Working Group Provably Correct Systems − ProCoS‚ Lübeck‚ Germany‚ September 19−23‚ Proceedings. Vol. 863 of Lecture Notes in Computer Science. Pages 288−335. Springer. 1994.

Details about Provably Correct Systems | BibTeX data for Provably Correct Systems | DOI (10.1007/3-540-58468-4_171)

Hardware and Software: The Closing Gap

C. A. R. Hoare and Ian Page

In Jürg Gutknecht, editor, Programming Languages and System Architectures‚ International Conference‚ Zurich‚ Switzerland‚ March 2−4‚ 1994‚ Proceedings. Vol. 782 of Lecture Notes in Computer Science. Pages 49−68. Springer. 1994.

Details about Hardware and Software: The Closing Gap | BibTeX data for Hardware and Software: The Closing Gap | DOI (10.1007/3-540-57840-4_24)

Sequential Calculus

Burghard von Karger

May, 1994.

Correspondence about ‘Sequential Calculus' paper (IPL 53(3):123−130‚ 1995‚ doi 10.1016/0020−0190(94)00205−D

Details about Sequential Calculus | BibTeX data for Sequential Calculus | Download Vol Karger94b - Sequential Summary.pdf of Sequential Calculus | Download Vol Karger94b - Sequential.pdf of Sequential Calculus | Download Vol Karger94 - Sequential.pdf of Sequential Calculus

Unified Theories of Programming

C. A. R. Hoare

July, 1994.

LaTeXed manuscript

Details about Unified Theories of Programming | BibTeX data for Unified Theories of Programming | Download  (pdf) of Unified Theories of Programming

From Algebra to Operational Semantics

C. A. R. Hoare‚ Jifeng He and Augusto Sampaio

1993?.

Longer version of paper in IPL 45(2):75–80‚ 1993‚ doi 10.1016/0020−0190(93)90219−Y; undated

Details about From Algebra to Operational Semantics | BibTeX data for From Algebra to Operational Semantics | Download  (pdf) of From Algebra to Operational Semantics

Models and Algebra

C. A. R. Hoare

July, 1993.

LaTeXed manuscript

Details about Models and Algebra | BibTeX data for Models and Algebra | Download  (pdf) of Models and Algebra

Parallel Processing: Theoretical Foundations

C. A. R. Hoare

In Oxford Innovation News. No. 8. Winter, 1993.

Details about Parallel Processing: Theoretical Foundations | BibTeX data for Parallel Processing: Theoretical Foundations | Download  (pdf) of Parallel Processing: Theoretical Foundations

Normal Form Approach to Compiler Design

C. A. R. Hoare‚ Jifeng He and Augusto Sampaio

In Acta Inf.. Vol. 30. No. 8. Pages 701−739. 1993.

Details about Normal Form Approach to Compiler Design | BibTeX data for Normal Form Approach to Compiler Design | DOI (10.1007/BF01191809)

From Algebra to Operational Semantics

Jifeng He and C. A. R. Hoare

In Inf. Process. Lett.. Vol. 45. No. 2. Pages 75−80. 1993.

Details about From Algebra to Operational Semantics | BibTeX data for From Algebra to Operational Semantics | DOI (10.1016/0020-0190(93)90219-Y)

Algebra and Models

C. A. R. Hoare

In David Notkin, editor, SIGSOFT '93‚ Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering‚ Los Angeles‚ California‚ USA‚ December 7−10‚ 1993. Pages 1−8. ACM. 1993.

Details about Algebra and Models | BibTeX data for Algebra and Models | DOI (10.1145/256428.167053)

Software: Barrier or Frontier?

C. A. R. Hoare

October, 1993.

LaTeXed draft‚ “for a telecomms conference in Japan”

Details about Software: Barrier or Frontier? | BibTeX data for Software: Barrier or Frontier? | Download  (pdf) of Software: Barrier or Frontier?

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics

C. A. R. Hoare

March, 1993.

LaTeXed manuscript

Details about A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics | BibTeX data for A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics | Download  (pdf) of A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics

Discussion of Research Policy

C. A. R. Hoare

January, 1993.

Typed manuscript

Details about Discussion of Research Policy | BibTeX data for Discussion of Research Policy | Download  (pdf) of Discussion of Research Policy

Programs are Predicates

C. A. R. Hoare

In Fifth Generation Computer Systems. Pages 211−218. June, 1992.

Slides

Details about Programs are Predicates | BibTeX data for Programs are Predicates | Download  (pdf) of Programs are Predicates

A Model for Synchronous Switching Circuits and its Theory of Correctness

Zhou Chaochen and C. A. R. Hoare

In Formal Methods in System Design. Vol. 1. No. 1. Pages 7−28. 1992.

Details about A Model for Synchronous Switching Circuits and its Theory of Correctness | BibTeX data for A Model for Synchronous Switching Circuits and its Theory of Correctness | DOI (10.1007/BF00464355)

Programs are Predicates

C. A. R. Hoare

In FGCS. Pages 211−218. 1992.

Details about Programs are Predicates | BibTeX data for Programs are Predicates

Busy Time and Idle Time

C. A. R. Hoare

December, 1992.

LaTeXed manuscript

Details about Busy Time and Idle Time | BibTeX data for Busy Time and Idle Time | Download  (pdf) of Busy Time and Idle Time

Collaboration between IBM‚ Hursley and PRG‚ Oxford

C. A. R. Hoare

1992.

Slides for talk about CICS project in Japan‚ alongside trip to Fifth Generation Computer Systems conference

Details about Collaboration between IBM‚ Hursley and PRG‚ Oxford | BibTeX data for Collaboration between IBM‚ Hursley and PRG‚ Oxford | Download  (pdf) of Collaboration between IBM‚ Hursley and PRG‚ Oxford

The transputer and occam: A personal story

C. A. R. Hoare

In Concurrency − Practice and Experience. Vol. 3. No. 4. Pages 249−264. 1991.

Details about The transputer and occam: A personal story | BibTeX data for The transputer and occam: A personal story | DOI (10.1002/cpe.4330030403)

A Calculus of Durations

Zhou Chaochen‚ C. A. R. Hoare and Anders P. Ravn

In Inf. Process. Lett.. Vol. 40. No. 5. Pages 269−276. 1991.

Details about A Calculus of Durations | BibTeX data for A Calculus of Durations | DOI (10.1016/0020-0190(91)90122-X)

Pre−Adjunctions in Order Enriched Categories

C. E. Martin‚ C. A. R. Hoare and Jifeng He

In Mathematical Structures in Computer Science. Vol. 1. No. 2. Pages 141−158. 1991.

Details about Pre−Adjunctions in Order Enriched Categories | BibTeX data for Pre−Adjunctions in Order Enriched Categories | DOI (10.1017/S0960129500001262)

A Theory for the Derivation of Combinational C−MOS Circuit Designs

C. A. R. Hoare

In Theor. Comput. Sci.. Vol. 90. No. 1. Pages 235−251. 1991.

Details about A Theory for the Derivation of Combinational C−MOS Circuit Designs | BibTeX data for A Theory for the Derivation of Combinational C−MOS Circuit Designs | DOI (10.1016/0304-3975(91)90309-P)

Fixed Points of Increasing Functions

C. A. R. Hoare

In Inf. Process. Lett.. Vol. 34. No. 3. Pages 111−112. 1990.

Details about Fixed Points of Increasing Functions | BibTeX data for Fixed Points of Increasing Functions | DOI (10.1016/0020-0190(90)90087-E)

Let's Make Models (Abstract)

C. A. R. Hoare

In Jos C. M. Baeten and Jan Willem Klop, editors, CONCUR '90‚ Theories of Concurrency: Unification and Extension‚ Amsterdam‚ The Netherlands‚ August 27−30‚ 1990‚ Proceedings. Vol. 458 of Lecture Notes in Computer Science. Pages 32. Springer. 1990.

Details about Let's Make Models (Abstract) | BibTeX data for Let's Make Models (Abstract) | DOI (10.1007/BFb0039049)

A Theory of Conjunction and Concurrency

C. A. R. Hoare

In PARBASE / Architectures. Pages 18−30. 1990.

Details about A Theory of Conjunction and Concurrency | BibTeX data for A Theory of Conjunction and Concurrency

VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings

Dines Bjørner‚ C. A. R. Hoare and Hans Langmaack, editors

Details about VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings | BibTeX data for VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings

Queen's Award Presentation

C. A. R. Hoare

June, 1990.

Typed manuscript

Details about Queen's Award Presentation | BibTeX data for Queen's Award Presentation | Download  (pdf) of Queen's Award Presentation

A Theory of Synchrony and Asynchrony

Jifeng He‚ M. B. Josephs and C. A. R. Hoare

February, 1990.

LaTeXed manuscript

Details about A Theory of Synchrony and Asynchrony | BibTeX data for A Theory of Synchrony and Asynchrony | Download  (pdf) of A Theory of Synchrony and Asynchrony

Does It Always Have to Be So Complicated?

C. A. R. Hoare

198?.

Typed manuscript‚ undated

Details about Does It Always Have to Be So Complicated? | BibTeX data for Does It Always Have to Be So Complicated? | Download  (pdf) of Does It Always Have to Be So Complicated?

A Theory of Conjunction and Concurrency

C. A. R. Hoare

May, 1989.

LaTeXed draft‚ appeared in A postconference publication based upon the proceedings of PARBASE−90‚ the First International Conference on Databases‚ Parallel Architectures and their Applications‚ IEEE−CS 1991

Details about A Theory of Conjunction and Concurrency | BibTeX data for A Theory of Conjunction and Concurrency | Download  (pdf) of A Theory of Conjunction and Concurrency

Categorical Semantics for Programming Languages

Jifeng He and C. A. R. Hoare

In Michael G. Main‚ Austin Melton‚ Michael W. Mislove and David A. Schmidt, editors, Mathematical Foundations of Programming Semantics‚ 5th International Conference‚ Tulane University‚ New Orleans‚ Louisiana‚ USA‚ March 29 − April 1‚ 1989‚ Proceedings. Vol. 442 of Lecture Notes in Computer Science. Pages 402−417. Springer. 1989.

Details about Categorical Semantics for Programming Languages | BibTeX data for Categorical Semantics for Programming Languages | DOI (10.1007/BFb0040271)

The Varieties of Programming Language

C. A. R. Hoare

In Josep Díaz and Fernando Orejas, editors, TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development‚ Barcelona‚ Spain‚ March 13−17‚ 1989‚ Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89). Vol. 351 of Lecture Notes in Computer Science. Pages 1−18. Springer. 1989.

Details about The Varieties of Programming Language | BibTeX data for The Varieties of Programming Language | DOI (10.1007/3-540-50939-9_121)

A Theory of Asynchronous Processes

Mark Josephs‚ C. A. R. Hoare and Jifeng He

February, 1989.

LaTeXed manuscript‚ with comments from Jan Udding and Tom Verhoeff; eventually appeared as ‘A Theory of Synchrony and Asynchrony'‚ Programming Concepts and Methods‚ IFIP 1990

Details about A Theory of Asynchronous Processes | BibTeX data for A Theory of Asynchronous Processes | Download Josephs 89 - Theory Letter.pdf of A Theory of Asynchronous Processes | Download Josephs 89 - Theory.pdf of A Theory of Asynchronous Processes

Category Theory

C. A. R. Hoare

1988?.

Handwritten draft of slides for Marktoberdorf school

Details about Category Theory | BibTeX data for Category Theory | Download  (pdf) of Category Theory

The Laws of Occam Programming

A. W. Roscoe and C. A. R. Hoare

In Theor. Comput. Sci.. Vol. 60. Pages 177−229. 1988.

Details about The Laws of Occam Programming | BibTeX data for The Laws of Occam Programming | DOI (10.1016/0304-3975(88)90049-7)

Partial Correctness of C−MOS Switching Circuits: An Exercise in Applied Logic

C. A. R. Hoare and Michael J. C. Gordon

In Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88)‚ Edinburgh‚ Scotland‚ UK‚ July 5−8‚ 1988. Pages 28−36. IEEE Computer Society. 1988.

Details about Partial Correctness of C−MOS Switching Circuits: An Exercise in Applied Logic | BibTeX data for Partial Correctness of C−MOS Switching Circuits: An Exercise in Applied Logic | DOI (10.1109/LICS.1988.5098)

A Proposed Protection Scheme

C. A. R. Hoare

1988.

Handwritten manuscript‚ proposal to ‘Research Task Force'

Details about A Proposed Protection Scheme | BibTeX data for A Proposed Protection Scheme | Download H88 - Proposed Draft for development.pdf of A Proposed Protection Scheme | Download H88 - Proposed.pdf of A Proposed Protection Scheme

A Calculus for the Derivation of C−MOS Switching Circuits

C. A. R. Hoare

April, 1988.

Two drafts; appeared as ‘A Theory for the Derivation of Combinational C−MOS Circuit Designs'‚ Theoretical Computer Science 90:235–251‚ 1991‚ doi 10.1016/0304−3975(91)90309−P

Details about A Calculus for the Derivation of C−MOS Switching Circuits | BibTeX data for A Calculus for the Derivation of C−MOS Switching Circuits | Download  (pdf) of A Calculus for the Derivation of C−MOS Switching Circuits

Natural Transformations and Data Refinement

C. A. R. Hoare and Jifeng He

July, 1988.

LaTeXed draft

Details about Natural Transformations and Data Refinement | BibTeX data for Natural Transformations and Data Refinement | Download  (pdf) of Natural Transformations and Data Refinement

An Overview of Some Formal Methods for Program Design

C.A.R. Hoare

In IEEE Computer Journal. Vol. 20. No. 9. Pages 85–91. September, 1987.

Details about An Overview of Some Formal Methods for Program Design | BibTeX data for An Overview of Some Formal Methods for Program Design

The Laws of Programming

C.A.R. Hoare‚ I.J. Hayes‚ He Jifeng‚ C.C. Morgan‚ A.W. Roscoe‚ J.W. Sanders‚ I.H. øS rensen‚ J.M. Spivey and B.A. Sufrin

In Communications of the ACM. Vol. 30. No. 8. Pages 672–687. August, 1987.

see Corrigenda in Communications of the ACM‚ 30(9): 770

Details about The Laws of Programming | BibTeX data for The Laws of Programming

Preface to Unity book by Misra and Chandy

C. A. R. Hoare

August, 1987.

Typed manuscript

Details about Preface to Unity book by Misra and Chandy | BibTeX data for Preface to Unity book by Misra and Chandy | Download  (pdf) of Preface to Unity book by Misra and Chandy

Towards a Calculus of Total Correctness for the Design of C−MOS Switching Circuits

C. A. R. Hoare

August, 1987.

Typed manuscript

Details about Towards a Calculus of Total Correctness for the Design of C−MOS Switching Circuits | BibTeX data for Towards a Calculus of Total Correctness for the Design of C−MOS Switching Circuits | Download  (pdf) of Towards a Calculus of Total Correctness for the Design of C−MOS Switching Circuits

Data Refinement in a Categorical Setting

C. A. R. Hoare

June, 1987.

Typed manuscript

Details about Data Refinement in a Categorical Setting | BibTeX data for Data Refinement in a Categorical Setting | Download  (pdf) of Data Refinement in a Categorical Setting

Prespecification in Data Refinement

C.A.R. Hoare‚ Jifeng He and J.W. Sanders

In Information Processing Letters. Vol. 25. No. 2. Pages 71–76. May, 1987.

Details about Prespecification in Data Refinement | BibTeX data for Prespecification in Data Refinement

Introduction to Domain Theory

C. A. R. Hoare

March, 1987.

Typed manuscript and accompanying slides‚ “written on sabbatical in Austin‚ Texas; never submitted”

Details about Introduction to Domain Theory | BibTeX data for Introduction to Domain Theory | Download H87 - Introduction slides.pdf of Introduction to Domain Theory | Download H87 - Introduction.pdf of Introduction to Domain Theory

Data Refinement in a Categorical Setting

C. A. R. Hoare

October, 1987.

Handwritten manuscript

Details about Data Refinement in a Categorical Setting | BibTeX data for Data Refinement in a Categorical Setting | Download  (pdf) of Data Refinement in a Categorical Setting

The Weakest Prespecification

C.A.R. Hoare and J. He

In Information Processing Letters. Vol. 24. No. 2. Pages 127–32. January, 1987.

Details about The Weakest Prespecification | BibTeX data for The Weakest Prespecification

Algebraic Specification and Proof of a Distributed Recovery Algorithm

He Jifeng and C.A.R. Hoare

In Distributed Computing. Vol. 2. No. 1. Pages 1–12. 1987.

Details about Algebraic Specification and Proof of a Distributed Recovery Algorithm | BibTeX data for Algebraic Specification and Proof of a Distributed Recovery Algorithm

RUSSIAN TITLE: Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems

A.I. Enikeev‚ C.A.R. Hoare and A. Teruel

In Mathematica. Vol. 3. 1987.

In Russian.

Details about RUSSIAN TITLE: Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems | BibTeX data for RUSSIAN TITLE: Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems

Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems

A.I. Enikeev‚ C.A.R. Hoare and A. Teruel

In Mathematica. Vol. 3. 1987.

In Russian; ECS[109]

Details about Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems | BibTeX data for Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems | Download  (pdf) of Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems

Design and Proof of a Mail Service

C.A.R. Hoare and H. Jifeng

In O. Friesen and F. Golshani, editors, 6th Annual International Phoenix Conference on Computers and Communications — Conference Proceedings Scottsdale‚ AZ‚ USA 25–27 February‚ 1987. Pages 272–5. IEEE. 1987.

Details about Design and Proof of a Mail Service | BibTeX data for Design and Proof of a Mail Service

After−dinner speech at Austin Year of Programming

C. A. R. Hoare

1987.

Handwritten notes

Details about After−dinner speech at Austin Year of Programming | BibTeX data for After−dinner speech at Austin Year of Programming | Download  (pdf) of After−dinner speech at Austin Year of Programming

Letter about proof format

Edsger W. Dijkstra

November, 1987.

Handwritten

Details about Letter about proof format | BibTeX data for Letter about proof format | Download  (pdf) of Letter about proof format

The Weakest Prespecification I

C.A.R. Hoare and J. He

In Fundamenta Informaticae. Vol. 9. No. 1. Pages 51–84. March, 1986.

Details about The Weakest Prespecification I | BibTeX data for The Weakest Prespecification I

Laws of Occam Programming

A.W. Roscoe and C.A.R. Hoare

No. PRG−53. Oxford University Computing Laboratory‚ Programming Research Group. February, 1986.

Details about Laws of Occam Programming | BibTeX data for Laws of Occam Programming

Formal Methods in Software Engineering

C. A. R. Hoare

October, 1986.

Handwritten manuscript‚ with comments from Jay Misra

Details about Formal Methods in Software Engineering | BibTeX data for Formal Methods in Software Engineering | Download H86 - Formal Letter .pdf of Formal Methods in Software Engineering | Download H86 - Formal.pdf of Formal Methods in Software Engineering

The Weakest Prespecification II

C.A.R. Hoare and J. He

In Fundamenta Informaticae. Vol. 9. Pages 217–252. 1986.

Details about The Weakest Prespecification II | BibTeX data for The Weakest Prespecification II

Specification−oriented Semantics for Communicating Processes

E.R. Olderog and C.A.R. Hoare

In Acta Informatica. Vol. 23. No. 1. Pages 9–66. 1986.

Details about Specification−oriented Semantics for Communicating Processes | BibTeX data for Specification−oriented Semantics for Communicating Processes

Maths Adds Safety to Computer Programs

C. A. R. Hoare

In New Scientist. September, 1986.

Details about Maths Adds Safety to Computer Programs | BibTeX data for Maths Adds Safety to Computer Programs | Download  (pdf) of Maths Adds Safety to Computer Programs

Algebraic Specification and Proof of Properties of a Mail Service

C.A.R. Hoare and J. He

In L. Meertens, editor, IFIP WG 2.1 Working Conference on Program Specification and Transformations‚ Bad−Tölz‚ W. Germany 15–17 April. North−Holland Publishers. 1986.

Details about Algebraic Specification and Proof of Properties of a Mail Service | BibTeX data for Algebraic Specification and Proof of Properties of a Mail Service

Data Refinement Refined: Resume

J. He‚ C.A.R. Hoare and J.W. Sanders

In B. Robinet and R. Wilhelm, editors, ESOP '86. Vol. 213 of Lecture Notes in Computer Science. Springer−Verlag. 1986.

Details about Data Refinement Refined: Resume | BibTeX data for Data Refinement Refined: Resume

The Mathematics of Programming

C.A.R. Hoare

Oxford University Press. 1986.

Details about The Mathematics of Programming | BibTeX data for The Mathematics of Programming

Review of ‘Communicating sequential processes'

Roger Boyle

In Data Processing. September, 1985.

Details about Review of ‘Communicating sequential processes' | BibTeX data for Review of ‘Communicating sequential processes' | Download  (pdf) of Review of ‘Communicating sequential processes'

Data Refinement Refined

H³.M.S⁴

May, 1985.

Typescript‚ Programming Research Group‚ Oxford University.

Details about Data Refinement Refined | BibTeX data for Data Refinement Refined

Data Refinement Refined

C. A. R. Hoare‚ I. J. Hayes‚ Jifeng He‚ C. C. Morgan‚ J. W. Sanders‚ I. H. Sorensen‚ J. M. Spivey and B. A. Sufrin

May, 1985.

Typed manuscript‚ ECS[97]

Details about Data Refinement Refined | BibTeX data for Data Refinement Refined | Download  (pdf) of Data Refinement Refined

Mathematical Logic and Programming Languages

C.A.R. Hoare and J.C. Shepherdson, editors

Prentice−Hall. 1985.

The papers in this book were first published in the Philosophical Transactions of the Royal Society Series A‚ Vol. 312‚ 1984.

Details about Mathematical Logic and Programming Languages | BibTeX data for Mathematical Logic and Programming Languages

Communicating Sequential Processes

C.A.R. Hoare

Prentice−Hall. 1985.

256 pages

Details about Communicating Sequential Processes | BibTeX data for Communicating Sequential Processes

A Couple of Novelties in the Propositional Calculus

C.A.R. Hoare

In Zeitschr. f. Math. Logik und Grundlagen d. Math.. Vol. 31. No. 2. Pages 173–178. 1985.

Details about A Couple of Novelties in the Propositional Calculus | BibTeX data for A Couple of Novelties in the Propositional Calculus

Specification of a Simplified Network Service in CSP

C.A.R. Hoare and C. Morgan

In B.T. Denvir‚ W.T. Harwood and M.I. Jackson, editors, LNCS 207 — The Analysis of Concurrent Systems‚ Cambridge‚ September 1983‚ Proceedings. Pages 345–353. Springer−Verlag. 1985.

There are a number of other contributions by Hoare to the discussions recorded in this volume.

Details about Specification of a Simplified Network Service in CSP | BibTeX data for Specification of a Simplified Network Service in CSP

Programs are Predicates

C.A.R. Hoare

In C.A.R. Hoare and J.C. Shepherdson, editors, Mathematical Logic and Programming Languages. Pages 141–154. Prentice−Hall. 1985.

Details about Programs are Predicates | BibTeX data for Programs are Predicates

Notes on Communicating Systems

C.A.R. Hoare

In M. Broy, editor, Control Flow and Data Flow: Concepts of Distributed Programming. Proceedings of NATO Advanced Study Institute International Summer School‚ Marktoberdorf‚ 31 July – 12 August‚ 1984. Pages 123–204. Springer−Verlag. 1985.

Details about Notes on Communicating Systems | BibTeX data for Notes on Communicating Systems

Degree−day Speech at Hatfield Polytechnic

C. A. R. Hoare

November, 1985.

Handwritten manuscript

Details about Degree−day Speech at Hatfield Polytechnic | BibTeX data for Degree−day Speech at Hatfield Polytechnic | Download  (pdf) of Degree−day Speech at Hatfield Polytechnic

Additional Recommendations to Alvey Directorate

C. A. R. Hoare

July, 1985.

Typed manuscript

Details about Additional Recommendations to Alvey Directorate | BibTeX data for Additional Recommendations to Alvey Directorate | Download  (pdf) of Additional Recommendations to Alvey Directorate

The Mathematics of Programming

C. A. R. Hoare

April, 1985.

Typed manuscript; a draft towards ‘Maths Adds Safety to Computer Programs'

Details about The Mathematics of Programming | BibTeX data for The Mathematics of Programming | Download  (pdf) of The Mathematics of Programming

A Theory of Communicating Sequential Processes

S.D. Brookes‚ C.A.R. Hoare and A.W. Roscoe

In Journal of the ACM. Vol. 31. No. 3. Pages 560–599. July, 1984.

Details about A Theory of Communicating Sequential Processes | BibTeX data for A Theory of Communicating Sequential Processes

Programming: Sorcery or Science

C.A.R. Hoare

In IEEE Software. Vol. 1. No. 2. Pages 5–16. April, 1984.

Details about Programming: Sorcery or Science | BibTeX data for Programming: Sorcery or Science

Programs as Executable Predicates

C.A.R. Hoare and A.W. Roscoe

In Proceedings of the International Conference on Fifth Generation Computer Systems‚ November 6–9 1984‚ Tokyo‚ Japan. Pages 220–228. ICOT. 1984.

Details about Programs as Executable Predicates | BibTeX data for Programs as Executable Predicates

Letter about ‘A More Complete Model of Communicating Processes'

Jifeng He

1983?.

Handwritten‚ undated‚ but CARH says “very early in his stay at Oxford”; refers to ECS[88] (1983)

Details about Letter about ‘A More Complete Model of Communicating Processes' | BibTeX data for Letter about ‘A More Complete Model of Communicating Processes' | Download  (pdf) of Letter about ‘A More Complete Model of Communicating Processes'

A More Complete Model of Communicating Processes

E.C.R. Hehner and C.A.R. Hoare

In Theoretical Computer Science. Vol. 26. No. 1–2. Pages 105–120. September, 1983.

Details about A More Complete Model of Communicating Processes | BibTeX data for A More Complete Model of Communicating Processes

Notes on Communicating Sequential Processes

C.A.R. Hoare

No. 33. Oxford University Computing Laboratory‚ Programming Research Group. August, 1983.

Details about Notes on Communicating Sequential Processes | BibTeX data for Notes on Communicating Sequential Processes

1983 Technology Forecast

C.A.R. Hoare

In Electronic Design. January, 1983.

Details about 1983 Technology Forecast | BibTeX data for 1983 Technology Forecast

Programming is an Engineering Profession

C.A.R. Hoare

In P.J.L. Wallis, editor, State of the Art Report 11‚ No. 3: Software Engineering. Pages 77–84. Pergamon/Infotech. 1983.

Also Oxford PRG Monograph No. 27.; and IEEE Software 1(2)

Details about Programming is an Engineering Profession | BibTeX data for Programming is an Engineering Profession

Specification−oriented Semantics for Communicating Processes

E.R. Olderog and C.A.R. Hoare

In J. Diaz, editor, Automata‚ Languages and Programming — Proceedings of the 10th International Colloquiumi‚ Barcelona July 18–22. Lecture Notes in Computer Science 154. Pages 561–572. Springer−Verlag. 1983.

Details about Specification−oriented Semantics for Communicating Processes | BibTeX data for Specification−oriented Semantics for Communicating Processes

Early material on MSc in Computation

C. A. R. Hoare

1982?.

Typed notes‚ undated

Details about Early material on MSc in Computation | BibTeX data for Early material on MSc in Computation | Download  (pdf) of Early material on MSc in Computation

Hoare's Formulation of Jones' Calculus for Programming

C. A. R. Hoare

1982?.

Typed manuscript‚ undated

Details about Hoare's Formulation of Jones' Calculus for Programming | BibTeX data for Hoare's Formulation of Jones' Calculus for Programming | Download  (pdf) of Hoare's Formulation of Jones' Calculus for Programming

An Education for the Software Engineer

C. A. R. Hoare

August, 1982.

Handwritten manuscript

Details about An Education for the Software Engineer | BibTeX data for An Education for the Software Engineer | Download H82 - Education note.pdf of An Education for the Software Engineer | Download H82 - Education Letter.pdf of An Education for the Software Engineer | Download H82 - Education.pdf of An Education for the Software Engineer

Specifications‚ Programs and Implementations

C.A.R. Hoare

No. PRG−29‚ ISBN 0−902928−17−1. Programming Research Group‚ Oxford University. June, 1982.

Details about Specifications‚ Programs and Implementations | BibTeX data for Specifications‚ Programs and Implementations

The Consistency of the Calculus of Total Correctness for Communicating Processes

C.A.R. Hoare and Zhou Chaochen

No. 26. Oxford University Computing Laboratory‚ Programming Research Group. February, 1982.

Details about The Consistency of the Calculus of Total Correctness for Communicating Processes | BibTeX data for The Consistency of the Calculus of Total Correctness for Communicating Processes

Discrete Event Simulation Based on Communicating Sequential Processes

W.H. Kaubisch and C.A.R. Hoare

In M. Broy and G. Schmidt, editors, Theoretical Foundations of Programming Methodology — Lecture Notes of an International Summer School‚ Germany‚ 1981. Pages 625–42. Reidel. 1982.

Details about Discrete Event Simulation Based on Communicating Sequential Processes | BibTeX data for Discrete Event Simulation Based on Communicating Sequential Processes

Structure of an Operating System

C.A.R. Hoare and R.M. McKeag

In M. Broy and G. Schmidt, editors, Theoretical Foundations of Programming Methodology — Lecture Notes of an International Summer School‚ Germany‚ 1981. Pages 643–658. Reidel. 1982.

Details about Structure of an Operating System | BibTeX data for Structure of an Operating System

EWD821: From Predicate Transformers to Predicates

Edsger W. Dijkstra

April, 1982.

Original‚ handwritten‚ “Dedicated by the Tuesday Afternoon Club to C. A. R. Hoare at the occasion of his being elected Fellow of the Royal Society”

Details about EWD821: From Predicate Transformers to Predicates | BibTeX data for EWD821: From Predicate Transformers to Predicates | Download  (pdf) of EWD821: From Predicate Transformers to Predicates

Partial Correctness of Communicating Processes and Protocols

C.A.R. Hoare and Zhou Chaochen

No. PRG 20. Oxford University Computing Laboratory‚ Programming Research Group. May, 1981.

Details about Partial Correctness of Communicating Processes and Protocols | BibTeX data for Partial Correctness of Communicating Processes and Protocols

A Calculus of Total Correctness for Communicating Processes

C. A. R. Hoare

May, 1981.

Handwritten draft of ECS[76]

Details about A Calculus of Total Correctness for Communicating Processes | BibTeX data for A Calculus of Total Correctness for Communicating Processes | Download  (pdf) of A Calculus of Total Correctness for Communicating Processes

The Emperor's Old Clothes

C.A.R. Hoare

In Communications of the ACM. Vol. 24. No. 2. Pages 75–83. February, 1981.

Details about The Emperor's Old Clothes | BibTeX data for The Emperor's Old Clothes

A Calculus of Total Correctness for Communicating Processes

C.A.R. Hoare

In The Science of Computer Programming. Vol. 1. No. 1–2. Pages 49–72. October, 1981.

Details about A Calculus of Total Correctness for Communicating Processes | BibTeX data for A Calculus of Total Correctness for Communicating Processes

Partial Correctness of Communicating Sequential Processes

Chou Chen Zhou and C. A. R. Hoare

January, 1981.

Handwritten manuscript

Details about Partial Correctness of Communicating Sequential Processes | BibTeX data for Partial Correctness of Communicating Sequential Processes | Download  (pdf) of Partial Correctness of Communicating Sequential Processes

Professionalism

C.A.R. Hoare

In BCS‚ Computer Bulletin. Vol. 2. No. 29. Pages 2−4. 1981.

Invited Talk given at BCS 81.

Details about Professionalism | BibTeX data for Professionalism

Is There a Mathematical Basis for Computer Programming?

C.A.R. Hoare

In NAG Newsletter. Vol. 2. Pages 6–15. 1981.

Details about Is There a Mathematical Basis for Computer Programming? | BibTeX data for Is There a Mathematical Basis for Computer Programming? | Download  (pdf) of Is There a Mathematical Basis for Computer Programming?

Partial Correctness of Communicating Sequential Processes

Zhou Chaochen and C.A.R. Hoare

In Proceedings of 2nd International Conference on Distributed Computing Systems. Pages 1–12. IEEE Computer Society Press. April, 1981.

Details about Partial Correctness of Communicating Sequential Processes | BibTeX data for Partial Correctness of Communicating Sequential Processes

Responses to Turing Lecture‚ and CARH's replies

C. A. R. Hoare

March, 1981.

Various letters

Details about Responses to Turing Lecture‚ and CARH's replies | BibTeX data for Responses to Turing Lecture‚ and CARH's replies | Download H81 - Turing (2).pdf of Responses to Turing Lecture‚ and CARH's replies | Download H81 - Turing.pdf of Responses to Turing Lecture‚ and CARH's replies

File Backup Server

C. A. R. Hoare

October, 1981.

Handwritten manuscripts; first and second drafts‚ never published

Details about File Backup Server | BibTeX data for File Backup Server | Download  (pdf) of File Backup Server

Craftsmen and Engineers

C. A. R. Hoare

1980?.

Handwritten manuscript (untitled)

Details about Craftsmen and Engineers | BibTeX data for Craftsmen and Engineers | Download  (pdf) of Craftsmen and Engineers

Hoare on Programming

C.A.R. Hoare

In Computer World UK. 1980.

Text of an interview.

Details about Hoare on Programming | BibTeX data for Hoare on Programming

Synchronisation of Parallel Processes

C.A.R. Hoare

In F.K. Hanna, editor, Advanced Techniques for Microprocessor Systems. Pages 108–111. Peter Peregrinus. 1980.

Details about Synchronisation of Parallel Processes | BibTeX data for Synchronisation of Parallel Processes

A Theory of Non−determinism

C.A.R. Hoare and J.R. Kennaway

In Proceedings ICALP '80. Pages 338−350. Springer−Verlag‚ Lecture Notes In Computer Science‚ No. 85. 1980.

Details about A Theory of Non−determinism | BibTeX data for A Theory of Non−determinism

A Model for Communicating Sequential Processes

C.A.R. Hoare

In R.M. McKeag and A.M. MacNaughten, editors, On the Construction of Programs. Pages 229−254. Cambridge University Press. 1980.

Details about A Model for Communicating Sequential Processes | BibTeX data for A Model for Communicating Sequential Processes

A. M. Turing Award Lecture

C. A. R. Hoare

October, 1980.

Handwritten draft of Turing Award lecture

Details about A. M. Turing Award Lecture | BibTeX data for A. M. Turing Award Lecture | Download  (pdf) of A. M. Turing Award Lecture

Towards a Theory of Communicating Sequential Processes

C. A. R. Hoare

February, 1979.

Typed manuscript

Details about Towards a Theory of Communicating Sequential Processes | BibTeX data for Towards a Theory of Communicating Sequential Processes | Download  (pdf) of Towards a Theory of Communicating Sequential Processes

Semantics of Nondeterminism‚ Concurrency and Communication

N. Francez‚ C.A.R. Hoare‚ D.J. Lehmann and W.P. de Roever

In Journal of Computer and System Sciences. Vol. 19. No. 3. Pages 290–308. December, 1979.

Details about Semantics of Nondeterminism‚ Concurrency and Communication | BibTeX data for Semantics of Nondeterminism‚ Concurrency and Communication

Communicating Sequential Processes

C.A.R. Hoare

In Communications of the ACM. Vol. 21. No. 8. Pages 666–677. August, 1978.

Details about Communicating Sequential Processes | BibTeX data for Communicating Sequential Processes

Some properties of Predicate Transformers

C.A.R. Hoare

In Journal of the ACM. Vol. 25. No. 3. Pages 461–80. July, 1978.

Details about Some properties of Predicate Transformers | BibTeX data for Some properties of Predicate Transformers

Software Engineering

C. A. R. Hoare

May, 1978.

Transcript of keynote address at ICSE 1978‚ Atlanta GA

Details about Software Engineering | BibTeX data for Software Engineering | Download  (pdf) of Software Engineering

A Model for Communicating Sequential Processes

C. A. R. Hoare

December, 1978.

Typed manuscript

Details about A Model for Communicating Sequential Processes | BibTeX data for A Model for Communicating Sequential Processes | Download  (pdf) of A Model for Communicating Sequential Processes

Everything You've Wanted to Know about Programming Languages but Have Been Afraid to Ask

C. A. R. Hoare

November, 1978.

Typed manuscript; “probably consultancy report to DoD workshop on what became Ada”

Details about Everything You've Wanted to Know about Programming Languages but Have Been Afraid to Ask | BibTeX data for Everything You've Wanted to Know about Programming Languages but Have Been Afraid to Ask | Download  (pdf) of Everything You've Wanted to Know about Programming Languages but Have Been Afraid to Ask

A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs

C. A. R. Hoare

January, 1978.

Typed lecture notes for a course at TATA Institute‚ Bomby

Details about A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs | BibTeX data for A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs | Download H78 - Theory (Eff).pdf of A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs | Download H78 - Theory.pdf of A Theory of Programming and its Application to the Design of Correct and Efficient Computer Programs

Communicating Sequential Processes

C.A.R. Hoare

In B. Shaw, editor, Digital Systems Design. Proceedings of the Joint IBM University of Newcastle upon Tyne Seminar‚ 6–9 September 1977. Pages 145–56. Newcastle University. 1978.

Details about Communicating Sequential Processes | BibTeX data for Communicating Sequential Processes

Software Engineering: A Keynote Address

C.A.R. Hoare

In 3rd International Conference on Software Engineering‚ Atlanta‚ GA.‚ USA‚ 10–12 May. Pages 1–4. IEEE Press. 1978.

Details about Software Engineering: A Keynote Address | BibTeX data for Software Engineering: A Keynote Address

Application−Oriented Languages: Project Summary

C. A. R. Hoare

1977?.

Typed manuscript

Details about Application−Oriented Languages: Project Summary | BibTeX data for Application−Oriented Languages: Project Summary | Download  (pdf) of Application−Oriented Languages: Project Summary

Discrete Event Simulation Based on Communicating Sequential Processes

W. H. Kaubisch and C. A. R. Hoare

1977?.

Typed draft of ECS[81]

Details about Discrete Event Simulation Based on Communicating Sequential Processes | BibTeX data for Discrete Event Simulation Based on Communicating Sequential Processes | Download  (pdf) of Discrete Event Simulation Based on Communicating Sequential Processes

Communicating Sequential Processes

C. A. R. Hoare

March, 1977.

Typed manuscript‚ draft of ECS[66]

Details about Communicating Sequential Processes | BibTeX data for Communicating Sequential Processes | Download  (pdf) of Communicating Sequential Processes

Fast Fourier Transform Free From Tears

A.M. MacNaughten and C.A.R. Hoare

In BCS‚ Computer Journal. Vol. 20. No. 1. Pages 78–83. February, 1977.

Details about Fast Fourier Transform Free From Tears | BibTeX data for Fast Fourier Transform Free From Tears

Basic Theorems about Predicate Transformers

C. A. R. Hoare and Andrew P. Black

November, 1977.

Typed manuscript

Details about Basic Theorems about Predicate Transformers | BibTeX data for Basic Theorems about Predicate Transformers | Download  (pdf) of Basic Theorems about Predicate Transformers

Structure of an Operating System

C. A. R. Hoare and R. M. McKeag

October, 1977.

Typed manuscript; second draft of ECS[58]?

Details about Structure of an Operating System | BibTeX data for Structure of an Operating System | Download  (pdf) of Structure of an Operating System

Ambiguities and Insecurities in PASCAL

J. Welsh‚ W.J. Sneeringer and C.A.R. Hoare

In Software Practice and Experience. Vol. 7. No. 6. Pages 685–96. November, 1977.

Details about Ambiguities and Insecurities in PASCAL | BibTeX data for Ambiguities and Insecurities in PASCAL

Introduction

C.A.R. Hoare

In R.H. Perrott, editor, Software Engineering — Proceedings of a Symposium held at the Queen's University of Belfast 1976 (A.P.I.C. Studies in Data Processing No. 14). Pages 7–14. Academic Press. 1977.

Details about Introduction | BibTeX data for Introduction

Research Proposal 1976–7

C. A. R. Hoare

1976?.

Typed manuscript for research on communicating sequential processes

Details about Research Proposal 1976–7 | BibTeX data for Research Proposal 1976–7 | Download  (pdf) of Research Proposal 1976–7

Communicating Sequential Processes

C. A. R. Hoare

August, 1976.

Typed draft of ECS[66]

Details about Communicating Sequential Processes | BibTeX data for Communicating Sequential Processes | Download  (pdf) of Communicating Sequential Processes

Quasiparallel Programming

W.H. Kaubisch‚ R.H. Perrott and C.A.R. Hoare

In Software Practice and Experience. Vol. 6. No. 3. Pages 341–356. July, 1976.

Details about Quasiparallel Programming | BibTeX data for Quasiparallel Programming

The Engineering of Software: A Startling Contradiction

C. A. R. Hoare

In Computers and People. July, 1976.

Details about The Engineering of Software: A Startling Contradiction | BibTeX data for The Engineering of Software: A Startling Contradiction | Download  (pdf) of The Engineering of Software: A Startling Contradiction

Software Engineering

C. A. R. Hoare

April, 1976.

Typed draft of ECS[62]

Details about Software Engineering | BibTeX data for Software Engineering | Download  (pdf) of Software Engineering

Cooperating Sequential Processes

Niklaus Wirth

October, 1976.

Typed letter to CARH

Details about Cooperating Sequential Processes | BibTeX data for Cooperating Sequential Processes | Download  (pdf) of Cooperating Sequential Processes

A Notation for the Specification of Computer Programs

C. A. R. Hoare

October, 1976.

Handwritten manuscript

Details about A Notation for the Specification of Computer Programs | BibTeX data for A Notation for the Specification of Computer Programs | Download H76 - Notation (2).pdf of A Notation for the Specification of Computer Programs | Download H76 - Notation.pdf of A Notation for the Specification of Computer Programs

Remarks on “Program Proving: Jumps and Functions”

E.A. Ashcroft‚ M. Clint and C.A.R. Hoare

In Acta Informatica. Vol. 6. No. 3. Pages 317–318. 1976.

Details about Remarks on “Program Proving: Jumps and Functions” | BibTeX data for Remarks on “Program Proving: Jumps and Functions”

The High Cost of Programming Languages

C.A.R. Hoare

In Software Systems engineering. Pages 413–429. 1976.

Details about The High Cost of Programming Languages | BibTeX data for The High Cost of Programming Languages

Structured Programming in Introductory Programming Courses

C. A. R. Hoare

In Infotech‚ Structured Programming. Pages 255–263. 1976.

ECS[56]

Details about Structured Programming in Introductory Programming Courses | BibTeX data for Structured Programming in Introductory Programming Courses

Hints on the Design of a Programming Language for Real−time Command and Control

C.A.R. Hoare

In J.P. Spencer, editor, Real−time Software: International State of the Art Report. Pages 685–99. Infotech International. 1976.

Details about Hints on the Design of a Programming Language for Real−time Command and Control | BibTeX data for Hints on the Design of a Programming Language for Real−time Command and Control

The Structure of an Operating System

C.A.R. Hoare

In Language Hierarchies and Interfaces. Vol. 46 of Lecture Notes in Computer Science. Pages 242–265. Springer−Verlag. 1976.

Details about The Structure of an Operating System | BibTeX data for The Structure of an Operating System

Parallel Programming: An Axiomatic Approach

C.A.R. Hoare

In Computer Languages. Vol. 1. No. 2. Pages 151–160. June, 1975.

Details about Parallel Programming: An Axiomatic Approach | BibTeX data for Parallel Programming: An Axiomatic Approach

Recursive Data Structures

C.A.R. Hoare

In International Journal of Computer & Information Sciences. Vol. 4. No. 2. Pages 105–132. June, 1975.

Details about Recursive Data Structures | BibTeX data for Recursive Data Structures

Data Reliability

C. A. R. Hoare

In SIGPLAN Notices. Vol. 10. No. 6. Pages 528–533. June, 1975.

International Conference on Reliable Software‚ Los Angeles; ECS[53]

Details about Data Reliability | BibTeX data for Data Reliability | DOI (10.1145/390016.808476)

Data Reliability

C.A.R. Hoare

In Int. Conf. Reliable Software‚ Los Angeles. Pages 528–533. ACM. June, 1975.

SIGPLAN Notices 10(6)

Details about Data Reliability | BibTeX data for Data Reliability

Data Reliability

C. A. R. Hoare

June, 1975.

Handwritten notes for the talk ECS[53] at the conference

Details about Data Reliability | BibTeX data for Data Reliability | Download  (pdf) of Data Reliability

Matrix Reduction—an Efficient Method (School Timetables)

C.A.R. Hoare and H.C. Johnston

In Communications of the ACM. Vol. 18. No. 3. Pages 141–150. March, 1975.

Details about Matrix Reduction—an Efficient Method (School Timetables) | BibTeX data for Matrix Reduction—an Efficient Method (School Timetables)

Notes on the Standardisation of Programming Languages

C. A. R. Hoare

February, 1975.

Typed manuscript

Details about Notes on the Standardisation of Programming Languages | BibTeX data for Notes on the Standardisation of Programming Languages | Download  (pdf) of Notes on the Standardisation of Programming Languages

Software Engineering

C.A.R. Hoare

In BCS‚ Computer Bulletin. Vol. 2. No. 6. Pages 6–7. December, 1975.

Details about Software Engineering | BibTeX data for Software Engineering | Download  (pdf) of Software Engineering

A Model for Programming Language Semantics

C. A. R. Hoare

December, 1975.

Typed manuscript‚ early draft of ECS[65]

Details about A Model for Programming Language Semantics | BibTeX data for A Model for Programming Language Semantics | Download  (pdf) of A Model for Programming Language Semantics

Cooperation in Education

C. A. R. Hoare

November, 1975.

Handwritten manuscript‚ address delivered at INTERACT 75 (joint BCS/ICS conference)

Details about Cooperation in Education | BibTeX data for Cooperation in Education | Download H75 - Cooperation (2).pdf of Cooperation in Education | Download H75 - Cooperation.pdf of Cooperation in Education

Implementation Languages for Real−Time Systems — III. Command and Control Languages — Specific Comments

P.H. Enslow‚ C.A.R. Hoare‚ J. Palme‚ D. Parnas and I. Pyle

No. ERO−2−75−Vol−3. European Res. Office‚ London‚ UK. 1975.

Details about Implementation Languages for Real−Time Systems — III. Command and Control Languages — Specific Comments | BibTeX data for Implementation Languages for Real−Time Systems — III. Command and Control Languages — Specific Comments

Implementation Languages for Real−Time Systems — II. Language Design — General Comments

P.H. Enslow‚ C.A.R. Hoare‚ J. Palme‚ D. Parnas and I. Pyle

No. ERO−2−75−Vol−2. European Res. Office‚ London‚ UK. 1975.

Details about Implementation Languages for Real−Time Systems — II. Language Design — General Comments | BibTeX data for Implementation Languages for Real−Time Systems — II. Language Design — General Comments

Implementation Languages for Real−Time Systems — I. Standardisation — its Implementation and Acceptance

P.H. Enslow‚ C.A.R. Hoare‚ J. Palme‚ D. Parnas and I. Pyle

No. ERO−2−75−Vol−1. European Res. Office‚ London‚ UK. 1975.

Details about Implementation Languages for Real−Time Systems — I. Standardisation — its Implementation and Acceptance | BibTeX data for Implementation Languages for Real−Time Systems — I. Standardisation — its Implementation and Acceptance

Program Correctness Proofs

C.A.R. Hoare

In B. Shaw, editor, Formal Aspects of Computing Science‚ Newcastle upon Tyne‚ 3–6 September‚ 1974. Pages 7–45. Newcastle University. 1975.

http://www.ncl.ac.uk/computing/about/history/seminars/proceeding.php?id=30

Details about Program Correctness Proofs | BibTeX data for Program Correctness Proofs

Optimisation of Store Size for Garbage Collection

C.A.R. Hoare

In Information Processing Letters. Vol. 2. No. 6. Pages 165–166. April, 1974.

Details about Optimisation of Store Size for Garbage Collection | BibTeX data for Optimisation of Store Size for Garbage Collection

Monitors: An Operating System Structuring Concept

C.A.R. Hoare

In Communications of the ACM. Vol. 17. No. 10. Pages 549–557. October, 1974.

Details about Monitors: An Operating System Structuring Concept | BibTeX data for Monitors: An Operating System Structuring Concept

Data Reliability: A Tutorial Paper

C. A. R. Hoare

October, 1974.

Typed manuscript‚ draft of ECS[53]

Details about Data Reliability: A Tutorial Paper | BibTeX data for Data Reliability: A Tutorial Paper | Download  (pdf) of Data Reliability: A Tutorial Paper

Software Design: A Parable

C.A.R. Hoare

In Software World. Vol. 5. No. 9–10. Pages 53–56. 1974.

Details about Software Design: A Parable | BibTeX data for Software Design: A Parable

Consistent and Complementary Formal Theories of the Semantics of Programming Languages

C.A.R. Hoare and P.E. Lauer

In Acta Informatica. Vol. 3. No. 2. Pages 135–153. 1974.

Details about Consistent and Complementary Formal Theories of the Semantics of Programming Languages | BibTeX data for Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Hints on Programming Language Design

C.A.R. Hoare

In C.J. Bunyan, editor, State of the Art Report 20: Computer Systems Reliability. Pages 505–534. Pergamon/Infotech. 1974.

Details about Hints on Programming Language Design | BibTeX data for Hints on Programming Language Design

A Structured Paging System

C. A. R. Hoare

1973?.

Typed manuscript of ECS[36]‚ undated

Details about A Structured Paging System | BibTeX data for A Structured Paging System | Download  (pdf) of A Structured Paging System

A Structured Paging System

C.A.R. Hoare

In BCS‚ Computer Journal. Vol. 16. No. 3. Pages 209–215. August, 1973.

Details about A Structured Paging System | BibTeX data for A Structured Paging System

A General Conservation Law for Queueing Disciplines

C.A.R. Hoare

In Information Processing Letters. Vol. 2. No. 3. Pages 82–85. August, 1973.

Details about A General Conservation Law for Queueing Disciplines | BibTeX data for A General Conservation Law for Queueing Disciplines

Computer Programming as an Engineering Discipline

C.A.R. Hoare

In Electronics & Power. Vol. 19. No. 14. Pages 316–320. August, 1973.

Details about Computer Programming as an Engineering Discipline | BibTeX data for Computer Programming as an Engineering Discipline | Download  (pdf) of Computer Programming as an Engineering Discipline

Tomorrow's Men: The Role of the University

C.A.R. Hoare

In Computer Weekly‚ Educational Supplement. Vol. 7. July, 1973.

Details about Tomorrow's Men: The Role of the University | BibTeX data for Tomorrow's Men: The Role of the University

An Axiomatic Definition of the Programming Language PASCAL

C.A.R. Hoare and N. Wirth

In Acta Informatica. Vol. 2. No. 4. Pages 335–355. 1973.

Details about An Axiomatic Definition of the Programming Language PASCAL | BibTeX data for An Axiomatic Definition of the Programming Language PASCAL

Tomorrow's Men: The Role of the University

C. A. R. Hoare

In Computer Weekly‚ Education Supplement. Pages 7. July, 1973.

ECS[38]

Details about Tomorrow's Men: The Role of the University | BibTeX data for Tomorrow's Men: The Role of the University | Download  (pdf) of Tomorrow's Men: The Role of the University

High Level Programming Languages‚ the Way Behind

C.A.R. Hoare

In D. Simpson, editor, High Level Programming Languages — The Way Ahead. NCC Publications‚ Manchester. 1973.

Details about High Level Programming Languages‚ the Way Behind | BibTeX data for High Level Programming Languages‚ the Way Behind

Incomputability

C.A.R. Hoare and D.C.S. Allison

In ACM‚ Computing Surveys. Vol. 4. No. 3. Pages 169–178. September, 1972.

Details about Incomputability | BibTeX data for Incomputability

The Quality of Software

C.A.R. Hoare

In Software Practice and Experience. Vol. 2. No. 2. Pages 103–5. April, 1972.

Details about The Quality of Software | BibTeX data for The Quality of Software

An Axiomatic Definition of the Programming Language PASCAL

C. A. R. Hoare

February, 1972.

Typed manuscript‚ “very different from the published version” ECS[37]

Details about An Axiomatic Definition of the Programming Language PASCAL | BibTeX data for An Axiomatic Definition of the Programming Language PASCAL | Download  (pdf) of An Axiomatic Definition of the Programming Language PASCAL

Proof of a Structured Program: ‘The Sieve of Eratosthenes'

C.A.R. Hoare

In BCS‚ Computer Journal. Vol. 15. No. 4. Pages 321–325. November, 1972.

Details about Proof of a Structured Program: ‘The Sieve of Eratosthenes' | BibTeX data for Proof of a Structured Program: ‘The Sieve of Eratosthenes'

Structured Programming

O.−J. Dahl‚ E.W. Dijkstra and C.A.R. Hoare

Academic Press. 1972.

234 pages

Details about Structured Programming | BibTeX data for Structured Programming

Operating System Techniques

C.A.R. Hoare and R.H. Perrott

Academic Press. 1972.

Details about Operating System Techniques | BibTeX data for Operating System Techniques

Proof of Correctness of Data Representations

C.A.R. Hoare

In Acta Informatica. Vol. 1. No. 4. Pages 271–281. 1972.

Details about Proof of Correctness of Data Representations | BibTeX data for Proof of Correctness of Data Representations

Program Proving: Jumps and Functions

M. Clint and C.A.R. Hoare

In Acta Informatica. Vol. 1. No. 3. Pages 214–224. 1972.

Details about Program Proving: Jumps and Functions | BibTeX data for Program Proving: Jumps and Functions

A Note on the FOR Statement

C.A.R. Hoare

In BIT. Vol. 12. No. 3. Pages 334−341. 1972.

Details about A Note on the FOR Statement | BibTeX data for A Note on the FOR Statement | Download  (pdf) of A Note on the FOR Statement

Prospects for a Better Programming Language

C.A.R. Hoare

In Infotech State of the Art Report: High Level Languages. Vol. 7. Pages 327–343. 1972.

Details about Prospects for a Better Programming Language | BibTeX data for Prospects for a Better Programming Language | Download  (pdf) of Prospects for a Better Programming Language

A Survey of Store Management Techniques: Part 2

C.A.R. Hoare and R.M. McKeag

In Operating System Techniques. Pages 132–151. Academic Press. 1972.

Details about A Survey of Store Management Techniques: Part 2 | BibTeX data for A Survey of Store Management Techniques: Part 2

A Survey of Store Management Techniques: Part 1

C.A.R. Hoare and R.M. McKeag

In Operating System Techniques. Pages 117–131. Academic Press. 1972.

Details about A Survey of Store Management Techniques: Part 1 | BibTeX data for A Survey of Store Management Techniques: Part 1

Towards a Theory of Parallel Programming

C.A.R. Hoare

In Operating System Techniques. Pages 61–71. Academic Press. 1972.

Details about Towards a Theory of Parallel Programming | BibTeX data for Towards a Theory of Parallel Programming

Operating Systems: their purpose‚ objectives‚ functions and scope

C.A.R. Hoare

In Operating System Techniques. Pages 11–28. Academic Press. 1972.

Details about Operating Systems: their purpose‚ objectives‚ functions and scope | BibTeX data for Operating Systems: their purpose‚ objectives‚ functions and scope

Hierarchical Program Structures

O.−J. Dahl and C.A.R. Hoare

In O.−J. Dahl‚ E.W. Dijkstra and C.A.R. Hoare, editors, Stuctured Programming. Pages 175–220. Academic Press. 1972.

Details about Hierarchical Program Structures | BibTeX data for Hierarchical Program Structures

Notes on Data Structuring

C.A.R. Hoare

In O.−J. Dahl‚ E.W. Dijkstra and C.A.R. Hoare, editors, Structured Programming. Pages 83–174. Academic Press. 1972.

Details about Notes on Data Structuring | BibTeX data for Notes on Data Structuring

A Model Paging System

C. A. R. Hoare

1972.

Various drafts towards ECS[36]

Details about A Model Paging System | BibTeX data for A Model Paging System | Download  (pdf) of A Model Paging System

Proof of a Recursive Program: Quicksort

M. Foley and C.A.R. Hoare

In BCS‚ Computer Journal. Vol. 14. No. 4. Pages 391–395. November, 1971.

Details about Proof of a Recursive Program: Quicksort | BibTeX data for Proof of a Recursive Program: Quicksort

Proof of a Program: FIND

C.A.R. Hoare

In Communications of the ACM. Vol. 14. No. 1. Pages 39–45. January, 1971.

Details about Proof of a Program: FIND | BibTeX data for Proof of a Program: FIND

Operating Systems: Their Purpose‚ Objectives‚ Functions‚ and Scope

C. A. R. Hoare

In First International Seminar on Operating Systems Techniques. 1971.

Typed manuscript; appeared as ECS[21]

Details about Operating Systems: Their Purpose‚ Objectives‚ Functions‚ and Scope | BibTeX data for Operating Systems: Their Purpose‚ Objectives‚ Functions‚ and Scope | Download  (pdf) of Operating Systems: Their Purpose‚ Objectives‚ Functions‚ and Scope

Computer Science

C.A.R. Hoare

New Lecture Series 62. 1971.

Details about Computer Science | BibTeX data for Computer Science

Procedures and Parameters: An Axiomatic Approach

C.A.R. Hoare

In E. Engeler, editor, Symposium On Semantics of Algorithmic Languages. No. 188. Pages 102–116. Springer−Verlag. 1971.

Details about Procedures and Parameters: An Axiomatic Approach | BibTeX data for Procedures and Parameters: An Axiomatic Approach

C. A. R. Hoare

Letter to Niklaus Wirth about a draft of ‘An Axiomatic Definition of PASCAL'. September, 1971.

Details about | BibTeX data for | Download  (pdf) of

Parallel Programming

C. A. R. Hoare

April, 1971.

Letters to and from Niklaus Wirth about parallel programming

Details about Parallel Programming | BibTeX data for Parallel Programming | Download  (pdf) of Parallel Programming

Efficient Production of Large Programs

Wlad Turski, editor

The source of CARH's comment that “inside every large program there is a small program trying to get out”. There were only three Westerners present (Hoare‚ Manacher‚ Randall); the official language was English‚ but the audience was all Poles and Russians. One Russian had an inexhaustible fund of dirty jokes—and so did Randell. CARH translated; the second edition of the nineteenth−century Dahl dictionary had all the dirty words in‚ with illustrative phrases.

Details about Efficient Production of Large Programs | BibTeX data for Efficient Production of Large Programs | Download  (pdf) of Efficient Production of Large Programs

An Axiomatic Basis for Computer Programming

C.A.R. Hoare

In Communications of the ACM. Vol. 12. No. 10. Pages 576–580‚ 583. October, 1969.

Details about An Axiomatic Basis for Computer Programming | BibTeX data for An Axiomatic Basis for Computer Programming

Data Structures in Two−level Store

C.A.R. Hoare

In Proceedings of the IFIP Congress‚ Edinburgh‚ 1968. Pages 322–329. North−Holland. 1969.

Details about Data Structures in Two−level Store | BibTeX data for Data Structures in Two−level Store

Referee's report

C. A. R. Hoare

July, 1969.

CARH's first referee's report‚ on a paper by Rudolph Bayer‚ for John Reynolds—CACM?

Details about Referee's report | BibTeX data for Referee's report | Download  (pdf) of Referee's report

An Axiomatic Basis of Computer Programming

C. A. R. Hoare

1968?.

Handwritten manuscript‚ undated; late draft of ECS[15]

Details about An Axiomatic Basis of Computer Programming | BibTeX data for An Axiomatic Basis of Computer Programming | Download  (pdf) of An Axiomatic Basis of Computer Programming

Program Documentation

C. A. R. Hoare

Computing Research Division‚ Elliott Brothers Ltd. April, 1968.

Details about Program Documentation | BibTeX data for Program Documentation | Download  (pdf) of Program Documentation

Critique of ALGOL 68

C.A.R. Hoare

In ALGOL Bulletin. Vol. 29. Pages 27–29. November, 1968.

Details about Critique of ALGOL 68 | BibTeX data for Critique of ALGOL 68

Limitations on Languages

C.A.R. Hoare

In Computer Weekly. 1968.

Details about Limitations on Languages | BibTeX data for Limitations on Languages

The Axiomatic Method

C. A. R. Hoare

National Computing Centre. 1968.

Very different from the published version ECS[15] after seeing Floyd's article

Details about The Axiomatic Method | BibTeX data for The Axiomatic Method | Download  (pdf) of The Axiomatic Method

Record Handling

C.A.R. Hoare

In F. Genuys, editor, Programming Languages. Pages 291–347. Academic Press. 1968.

Details about Record Handling | BibTeX data for Record Handling

Programming Languages: Predictions and Prospects

C. A. R. Hoare

1968.

Typed manuscript; published as ECS[12]

Details about Programming Languages: Predictions and Prospects | BibTeX data for Programming Languages: Predictions and Prospects | Download  (pdf) of Programming Languages: Predictions and Prospects

Programming Language Design: Principles and Practices

C. A. R. Hoare

November, 1967.

Typed book proposal‚ “probably never submitted”

Details about Programming Language Design: Principles and Practices | BibTeX data for Programming Language Design: Principles and Practices | Download  (pdf) of Programming Language Design: Principles and Practices

A Contribution to the Development of ALGOL

N. Wirth and C.A.R. Hoare

In Communications of the ACM. Vol. 9. No. 6. Pages 413–432. June, 1966.

Details about A Contribution to the Development of ALGOL | BibTeX data for A Contribution to the Development of ALGOL

Single Pass Compilation. PL/I

C.A.R. Hoare

In Proceedings of the ACTP Summer School on Software. June, 1966.

Details about Single Pass Compilation. PL/I | BibTeX data for Single Pass Compilation. PL/I | Download  (pdf) of Single Pass Compilation. PL/I

PL/I

C. A. R. Hoare

In Proceedings of the ACTP Summer School on Software. June, 1966.

Details about PL/I | BibTeX data for PL/I | Download  (pdf) of PL/I

A Note on Indirect Addressing

C.A.R. Hoare

In ALGOL Bulletin. Vol. 21. Pages 63–65. November, 1965.

Details about A Note on Indirect Addressing | BibTeX data for A Note on Indirect Addressing

Report of a Software Failure

C. A. R. Hoare

October, 1965.

Notes for an Elliott ‘teach−in'‚ 22nd Oct 1965; revised 1972 as ‘Problems of Software Development'; eventually appeared as Guest Editorial in Software: Practice and Experience 2(2):103–105‚ 1972‚ doi 10.1002/spe.4380020202 ECS[27]

Details about Report of a Software Failure | BibTeX data for Report of a Software Failure | Download H65 - Report2.pdf of Report of a Software Failure | Download H65 - Report.pdf of Report of a Software Failure

A Programming Language for Processor Construction

C. A. R. Hoare

1965.

Typed manuscript; presented at IFIP Congress 1965‚ but never written up for publication

Details about A Programming Language for Processor Construction | BibTeX data for A Programming Language for Processor Construction | Download  (pdf) of A Programming Language for Processor Construction

The Elliott ALGOL Programming System

C.A.R. Hoare

In P. Wegner, editor, Introduction to Systems Programming. Pages 156–166. Academic Press. 1964.

Details about The Elliott ALGOL Programming System | BibTeX data for The Elliott ALGOL Programming System

The Elliott ALGOL Input/Output System

C.A.R. Hoare

In BCS‚ Computer Journal. Vol. 5. No. 4. Pages 345–348. January, 1963.

Details about The Elliott ALGOL Input/Output System | BibTeX data for The Elliott ALGOL Input/Output System

Report on the Elliott ALGOL Translator

C.A.R. Hoare

In BCS‚ Computer Journal. Vol. 5. No. 2. Pages 127–129. July, 1962.

Details about Report on the Elliott ALGOL Translator | BibTeX data for Report on the Elliott ALGOL Translator

Quicksort

C.A.R. Hoare

In BCS‚ Computer Journal. Vol. 5. No. 1. Pages 10–15. 1962.

Details about Quicksort | BibTeX data for Quicksort

Algorithm 63‚ Partition; Algorithm 64‚ Quicksort; Algorithm 65‚ Find

C.A.R. Hoare

In Communications of the ACM. Vol. 4. No. 7. Pages 321–322. July, 1961.

Details about Algorithm 63‚ Partition; Algorithm 64‚ Quicksort; Algorithm 65‚ Find | BibTeX data for Algorithm 63‚ Partition; Algorithm 64‚ Quicksort; Algorithm 65‚ Find

Theory of Mathematical Machines

Iu. Ia. Basilevskii, editor

Pergamon Press. 1961.

Translated from Russian by C.A.R. Hoare

Details about Theory of Mathematical Machines | BibTeX data for Theory of Mathematical Machines

RUSSIAN TITLE: A method of Synthesizing Sentences in Machine Translation on the Basis of Syntagmatic Analysis

C.A.R. Hoare

In Foreign Develop. Mach. Translat. Info. Proc. No. 95 (Translated from Mashinnii Perevod i Prikladnaya Linguistika No. 6‚ pp. 80–88). 1961.

Details about RUSSIAN TITLE: A method of Synthesizing Sentences in Machine Translation on the Basis of Syntagmatic Analysis | BibTeX data for RUSSIAN TITLE: A method of Synthesizing Sentences in Machine Translation on the Basis of Syntagmatic Analysis

Probability

C. A. R. Hoare

1959.

Typed manuscript‚ read to Jowett Society at Balliol. CARH says it was typed on his mother's Remington portable‚ bought in Rhodesia 1942/3‚ when CARH learned to type

Details about Probability | BibTeX data for Probability | Download  (pdf) of Probability

Timetabling for Schools: An Exercise in Program and Data Structuring

C. A. R. Hoare and H. C. Johnston

Handwritten manuscript‚ later version‚ undated—1978?

Details about Timetabling for Schools: An Exercise in Program and Data Structuring | BibTeX data for Timetabling for Schools: An Exercise in Program and Data Structuring | Download Hoare&Johnston78 - Timetabling (4).pdf of Timetabling for Schools: An Exercise in Program and Data Structuring | Download Hoare&Johnston78 - Timetabling (3).pdf of Timetabling for Schools: An Exercise in Program and Data Structuring | Download Hoare&Johnston78 - Timetabling (2).pdf of Timetabling for Schools: An Exercise in Program and Data Structuring | Download Hoare&Johnston78 - Timetabling.pdf of Timetabling for Schools: An Exercise in Program and Data Structuring

Timetabling for Schools: An Exercise in Program and Data Structuring

C. A. R. Hoare and H. C. Johnston

Handwritten manuscript‚ undated—1977?

Details about Timetabling for Schools: An Exercise in Program and Data Structuring | BibTeX data for Timetabling for Schools: An Exercise in Program and Data Structuring | Download  (pdf) of Timetabling for Schools: An Exercise in Program and Data Structuring

Outline of Proposed Work

C. A. R. Hoare

Typed manuscript—perhaps for the application for the SRC Advanced Fellowship? While at Belfast

Details about Outline of Proposed Work | BibTeX data for Outline of Proposed Work | Download  (pdf) of Outline of Proposed Work

Unique Fixed Points

C. A. R. Hoare

Handwritten manuscript‚ undated

Details about Unique Fixed Points | BibTeX data for Unique Fixed Points | Download  (pdf) of Unique Fixed Points

A Parable of Standardization

C. A. R. Hoare

Typed manuscript‚ undated

Details about A Parable of Standardization | BibTeX data for A Parable of Standardization | Download  (pdf) of A Parable of Standardization

Final Report on SRC Project into Program Proving

C. A. R. Hoare

Typed manuscript‚ undated

Details about Final Report on SRC Project into Program Proving | BibTeX data for Final Report on SRC Project into Program Proving | Download H - Final (2).pdf of Final Report on SRC Project into Program Proving | Download H - Final.pdf of Final Report on SRC Project into Program Proving

An Experiment in the Reduction of References

C. A. R. Hoare

Handwritten manuscript; undated‚ 1960s?

Details about An Experiment in the Reduction of References | BibTeX data for An Experiment in the Reduction of References | Download  (pdf) of An Experiment in the Reduction of References

Basic Research

C. A. R. Hoare

Handwritten manuscript‚ undated

Details about Basic Research | BibTeX data for Basic Research | Download  (pdf) of Basic Research

Shifting the Identity of Predicate Transformers

C. A. R. Hoare

Handwritten letter to Hilary Priestley‚ undated

Details about Shifting the Identity of Predicate Transformers | BibTeX data for Shifting the Identity of Predicate Transformers | Download  (pdf) of Shifting the Identity of Predicate Transformers

About Consistency in Databases

A. W. Roscoe

Letter in response to proof from CARH‚ undated

Details about About Consistency in Databases | BibTeX data for About Consistency in Databases | Download  (pdf) of About Consistency in Databases

Note about predicate transformers

C. A. R. Hoare

Handwritten note to Oege de Moor‚ Clare Martin‚ Paul Gardiner‚ Carroll Morgan‚ undated

Details about Note about predicate transformers | BibTeX data for Note about predicate transformers | Download  (pdf) of Note about predicate transformers