Tony Hoare : Publications
-
[1]
C. A. R. Hoare
Letter to Niklaus Wirth about a draft of ‘An Axiomatic Definition of PASCAL'. September, 1971.
-
[2]
1983 Technology Forecast
C.A.R. Hoare
In Electronic Design. January, 1983.
Details about 1983 Technology Forecast | BibTeX data for 1983 Technology Forecast
-
[3]
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
-
[4]
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)
-
[5]
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
-
[6]
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
-
[7]
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
-
[8]
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
-
[9]
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
-
[10]
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
-
[11]
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)
-
[12]
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
-
[13]
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
-
[14]
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
-
[15]
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
-
[16]
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)
-
[17]
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
-
[18]
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
-
[19]
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
-
[20]
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
-
[21]
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
-
[22]
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
-
[23]
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
-
[24]
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
-
[25]
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
-
[26]
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
-
[27]
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
-
[28]
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
-
[29]
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)
-
[30]
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
-
[31]
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
-
[32]
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
-
[33]
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
-
[34]
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
-
[35]
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
-
[36]
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
-
[37]
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
-
[38]
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)
-
[39]
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)
-
[40]
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
-
[41]
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
-
[42]
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
-
[43]
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
-
[44]
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)
-
[45]
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)
-
[46]
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
-
[47]
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
-
[48]
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
-
[49]
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
-
[50]
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
-
[51]
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
-
[52]
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
-
[53]
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
-
[54]
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
-
[55]
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
-
[56]
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
-
[57]
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
-
[58]
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
-
[59]
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
-
[60]
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
-
[61]
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
-
[62]
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
-
[63]
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
-
[64]
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
-
[65]
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)
-
[66]
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
-
[67]
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)
-
[68]
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
-
[69]
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)
-
[70]
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
-
[71]
Basic Research
C. A. R. Hoare
Handwritten manuscript‚ undated
Details about Basic Research | BibTeX data for Basic Research | Download (pdf) of Basic Research
-
[72]
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
-
[73]
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
-
[74]
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
-
[75]
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)
-
[76]
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)
-
[77]
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)
-
[78]
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
-
[79]
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
-
[80]
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'
-
[81]
Communicating Sequential Processes
C.A.R. Hoare
Prentice−Hall. 1985.
256 pages
Details about Communicating Sequential Processes | BibTeX data for Communicating Sequential Processes
-
[82]
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
-
[83]
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
-
[84]
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
-
[85]
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
-
[86]
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)
-
[87]
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)
-
[88]
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
-
[89]
Computer Science
C.A.R. Hoare
New Lecture Series 62. 1971.
Details about Computer Science | BibTeX data for Computer Science
-
[90]
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)
-
[91]
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)
-
[92]
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
-
[93]
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
-
[94]
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
-
[95]
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
-
[96]
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
-
[97]
Data Refinement Refined
H3.M.S4
May, 1985.
Typescript‚ Programming Research Group‚ Oxford University.
Details about Data Refinement Refined | BibTeX data for Data Refinement Refined
-
[98]
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
-
[99]
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
-
[100]
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
-
[101]
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
-
[102]
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
-
[103]
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
-
[104]
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)
-
[105]
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
-
[106]
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
-
[107]
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
-
[108]
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
-
[109]
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)
-
[110]
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
-
[111]
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
-
[112]
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
-
[113]
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?
-
[114]
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
-
[115]
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)
-
[116]
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
-
[117]
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
-
[118]
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
-
[119]
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
-
[120]
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
-
[121]
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
-
[122]
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)
-
[123]
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
-
[124]
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)
-
[125]
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)
-
[126]
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
-
[127]
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)
-
[128]
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
-
[129]
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)
-
[130]
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
-
[131]
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)
-
[132]
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)
-
[133]
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)
-
[134]
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)
-
[135]
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)
-
[136]
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
-
[137]
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
-
[138]
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
-
[139]
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
-
[140]
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
-
[141]
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
-
[142]
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
-
[143]
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)
-
[144]
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
-
[145]
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)
-
[146]
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
-
[147]
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)
-
[148]
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.
-
[149]
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
-
[150]
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?
-
[151]
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
-
[152]
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
-
[153]
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
-
[154]
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)
-
[155]
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)
-
[156]
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
-
[157]
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)
-
[158]
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'
-
[159]
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
-
[160]
Limitations on Languages
C.A.R. Hoare
In Computer Weekly. 1968.
Details about Limitations on Languages | BibTeX data for Limitations on Languages
-
[161]
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
-
[162]
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)
-
[163]
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)
-
[164]
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
-
[165]
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
-
[166]
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
-
[167]
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
-
[168]
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
-
[169]
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)
-
[170]
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)
-
[171]
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
-
[172]
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
-
[173]
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
-
[174]
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
-
[175]
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)
-
[176]
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)
-
[177]
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
-
[178]
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
-
[179]
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
-
[180]
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
-
[181]
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
-
[182]
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
-
[183]
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)
-
[184]
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
-
[185]
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
-
[186]
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
-
[187]
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
-
[188]
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
-
[189]
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
-
[190]
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
-
[191]
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
-
[192]
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)
-
[193]
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
-
[194]
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
-
[195]
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
-
[196]
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)
-
[197]
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)
-
[198]
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
-
[199]
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
-
[200]
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
-
[201]
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
-
[202]
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
-
[203]
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)
-
[204]
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
-
[205]
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
-
[206]
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
-
[207]
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
-
[208]
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
-
[209]
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
-
[210]
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
-
[211]
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
-
[212]
Programs are Predicates
C. A. R. Hoare
In FGCS. Pages 211−218. 1992.
Details about Programs are Predicates | BibTeX data for Programs are Predicates
-
[213]
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
-
[214]
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
-
[215]
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
-
[216]
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
-
[217]
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
-
[218]
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
-
[219]
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'
-
[220]
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
-
[221]
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)
-
[222]
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)
-
[223]
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
-
[224]
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
-
[225]
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
-
[226]
Quicksort
C.A.R. Hoare
In BCS‚ Computer Journal. Vol. 5. No. 1. Pages 10–15. 1962.
-
[227]
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
-
[228]
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)
-
[229]
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
-
[230]
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
-
[231]
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”
-
[232]
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
-
[233]
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
-
[234]
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
-
[235]
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
-
[236]
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'
-
[237]
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'
-
[238]
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'
-
[239]
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'
-
[240]
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'
-
[241]
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
-
[242]
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)
-
[243]
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
-
[244]
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)
-
[245]
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)
-
[246]
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
-
[247]
Shift Axioms
Burghard von Karger
April, 1995.
Letter to CARH
Details about Shift Axioms | BibTeX data for Shift Axioms | Download (pdf) of Shift Axioms
-
[248]
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
-
[249]
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
-
[250]
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
-
[251]
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
-
[252]
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
-
[253]
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
-
[254]
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
-
[255]
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)
-
[256]
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?
-
[257]
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
-
[258]
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
-
[259]
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
-
[260]
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
-
[261]
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
-
[262]
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
-
[263]
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
-
[264]
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
-
[265]
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
-
[266]
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
-
[267]
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
-
[268]
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)
-
[269]
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
-
[270]
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)
-
[271]
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
-
[272]
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
-
[273]
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
-
[274]
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
-
[275]
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
-
[276]
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
-
[277]
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)
-
[278]
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)
-
[279]
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)
-
[280]
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
-
[281]
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)
-
[282]
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
-
[283]
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
-
[284]
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
-
[285]
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
-
[286]
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)
-
[287]
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
-
[288]
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)
-
[289]
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)
-
[290]
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)
-
[291]
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)
-
[292]
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)
-
[293]
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)
-
[294]
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
-
[295]
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
-
[296]
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
-
[297]
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
-
[298]
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)
-
[299]
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)
-
[300]
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)
-
[301]
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)
-
[302]
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)
-
[303]
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)
-
[304]
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
-
[305]
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
-
[306]
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)
-
[307]
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)
-
[308]
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
-
[309]
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
-
[310]
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
-
[311]
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
-
[312]
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
-
[313]
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
-
[314]
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
-
[315]
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
-
[316]
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
-
[317]
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
-
[318]
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)
-
[319]
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)
-
[320]
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
-
[321]
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)
-
[322]
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
-
[323]
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)
-
[324]
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)
-
[325]
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)
-
[326]
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)
-
[327]
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)
-
[328]
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
-
[329]
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
-
[330]
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)
-
[331]
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
-
[332]
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)
-
[333]
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)
-
[334]
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)
-
[335]
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)
-
[336]
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?
-
[337]
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)
-
[338]
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
-
[339]
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
-
[340]
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
-
[341]
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
-
[342]
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
-
[343]
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
-
[344]
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
-
[345]
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
-
[346]
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
-
[347]
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