![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
C. A. R. Hoare
Person information
- affiliation: University of Cambridge, UK
- affiliation: Microsoft Research, Cambridge, UK
- award (1980): Turing Award
- award (2011): IEEE John von Neumann Medal
- award (2011): Programming Languages Achievement Award
- award (1990): Computer Pioneer Award
- award (1981): Harry H. Goode Memorial Award
- award: Kyoto Prize
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j79]Yingxu Wang, Bernard Widrow, C. A. R. Hoare, Witold Pedrycz, Robert C. Berwick, Konstantinos N. Plataniotis, Imre J. Rudas, Jianhua Lu, Janusz Kacprzyk:
The odyssey to next-generation computers: cognitive computers (κC) inspired by the brain and powered by intelligent mathematics. Frontiers Comput. Sci. 5 (2023) - 2022
- [p12]Tony Hoare:
Forty Years with Edsger. Edsger Wybe Dijkstra 2022: 411-422 - [e3]Krzysztof R. Apt, Tony Hoare:
Edsger Wybe Dijkstra: His Life, Work, and Legacy. ACM Books 45, ACM / Morgan & Claypool 2022, ISBN 978-1-4503-9773-5 [contents] - [i3]Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong:
Geometric Theory for Program Testing. CoRR abs/2206.02083 (2022) - 2021
- [c96]Bernhard Möller, Peter W. O'Hearn, Tony Hoare:
On Algebra of Program Correctness and Incorrectness. RAMiCS 2021: 325-343 - [p11]Tony Hoare:
The 1980 ACM Turing Award Lecture. Theories of Programming 2021: 1-22 - [p10]C. A. R. Hoare, Jayadev Misra:
Preface to Special Issue on Software Verification. Theories of Programming 2021: 77-80 - [p9]Tony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar:
The Verified Software Initiative: A Manifesto. Theories of Programming 2021: 81-92 - [p8]C. A. R. Hoare:
Communicating Sequential Processes. Theories of Programming 2021: 157-186 - [p7]Tony Hoare:
Envoi. Theories of Programming 2021: 347-356 - [i2]Krzysztof R. Apt, Tony Hoare:
Edsger W. Dijkstra: a Commemoration. CoRR abs/2104.03392 (2021)
2010 – 2019
- 2019
- [c95]Tony Hoare, Alexandra Mendes, João F. Ferreira:
Logic, Algebra, and Geometry at the Foundation of Computer Science. FMTea 2019: 3-20 - [c94]Tony Hoare, Georg Struth, Jim Woodcock:
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP 2019: 3-21 - 2016
- [j78]Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu:
Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. 85(4): 617-636 (2016) - [c93]Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth:
A Discrete Geometric Model of Concurrent Program Execution. UTP 2016: 1-25 - 2015
- [c92]Bernhard Möller, Tony Hoare:
Exploring an Interface Model for CKA. MPC 2015: 1-29 - 2014
- [j77]Tony Hoare, Stephan van Staden:
The laws of programming unify process calculi. Sci. Comput. Program. 85: 102-114 (2014) - [c91]Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard
, Huibiao Zhu, Peter W. O'Hearn:
Developments in Concurrent Kleene Algebra. RAMiCS 2014: 1-18 - [c90]Tony Hoare:
Laws of Programming: The Algebraic Unification of Theories of Concurrency. CONCUR 2014: 1-6 - [c89]Tony Hoare:
Laws of concurrent programming. PLDI 2014: 168 - 2013
- [c88]Tony Hoare:
Unifying Semantics for Concurrent Programming. Computation, Logic, Games, and Quantum Foundations 2013: 139-149 - [c87]Tony Hoare:
Generic Models of the Laws of Programming. Theories of Programming and Formal Methods 2013: 213-226 - [c86]Tony Hoare:
Laws of programming with concurrency (Invited Talk). ICCSW 2013: 1-1 - 2012
- [j76]Tony Hoare, Stephan van Staden:
In praise of algebra. Formal Aspects Comput. 24(4-6): 423-431 (2012) - [c85]Tony Hoare:
Net Models for Concurrent Object Behaviour. Petri Nets 2012: 1-2 - [c84]Tony Hoare:
Algebra of concurrent design. FMCAD 2012: 5 - [c83]Tony Hoare, Stephan van Staden:
The Laws of Programming Unify Process Calculi. MPC 2012: 7-22 - [c82]Tony Hoare:
Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award. POPL 2012: 3-6 - [c81]Stephan van Staden, Tony Hoare:
Algebra Unifies Operational Calculi. UTP 2012: 88-104 - 2011
- [j75]Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Concurrent Kleene Algebra and its Foundations. J. Log. Algebraic Methods Program. 80(6): 266-296 (2011) - [c80]Tony Hoare:
Recovery Blocks. Dependable and Historic Computing 2011: 261-266 - [c79]C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth:
On Locality and the Exchange Law for Concurrent Processes. CONCUR 2011: 250-264 - [p6]Tony Hoare, John Wickerson:
Unifying Models of Data Flow. Software and Systems Safety - Specification and Verification 2011: 211-230 - [e2]Manfred Broy, Christian Leuxner, Tony Hoare:
Software and Systems Safety - Specification and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security 30, IOS Press 2011, ISBN 978-1-60750-710-9 [contents] - 2010
- [j74]Tony Hoare:
Fine-grain concurrency. Concurr. Comput. Pract. Exp. 22(8): 912-934 (2010) - [j73]Jifeng He, Tony Hoare:
CSP is a retract of CCS. Theor. Comput. Sci. 411(11-13): 1311-1337 (2010) - [c78]Tony Hoare, Natarajan Shankar:
Unraveling a Card Trick. Essays in Memory of Amir Pnueli 2010: 195-201 - [c77]Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare:
Differential static analysis: opportunities, applications, and challenges. FoSER 2010: 201-204 - [c76]Tony Hoare:
Testing and Proving, Hand-in-Hand. TAIC PART 2010: 5-6
2000 – 2009
- 2009
- [j72]C. A. R. Hoare:
Viewpoint - Retrospective: an axiomatic basis for computer programming. Commun. ACM 52(10): 30-32 (2009) - [j71]C. A. R. Hoare, Jayadev Misra:
Preface to special issue on software verification. ACM Comput. Surv. 41(4): 18:1-18:3 (2009) - [j70]C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar:
The verified software initiative: A manifesto. ACM Comput. Surv. 41(4): 22:1-22:8 (2009) - [j69]Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn:
Graphical models of separation logic. Inf. Process. Lett. 109(17): 1001-1004 (2009) - [c75]C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Foundations of Concurrent Kleene Algebra. RelMiCS 2009: 166-186 - [c74]C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Concurrent Kleene Algebra. CONCUR 2009: 399-414 - 2008
- [c73]Tony Hoare:
Keynote: A Vision for the Science of Computing. BCS Int. Acad. Conf. 2008: 1-29 - [c72]Tony Hoare:
Verified Software: Theories, Tools, Experiments. ICECCS 2008: 3 - [c71]Tony Hoare:
Fine-Grain Concurrency. LASER Summer School 2008: 1-20 - [c70]Tony Hoare:
Compensable Transactions. LASER Summer School 2008: 21-40 - [c69]Tony Hoare, Peter W. O'Hearn:
Separation Logic Semantics for Communicating Processes. FICS 2008: 3-25 - 2007
- [j68]Tony Hoare:
The Ideal of Program Correctness: Third Computer Journal Lecture. Comput. J. 50(3): 254-260 (2007) - [c68]Tony Hoare:
Science and Engineering: A Collusion of Cultures. DSN 2007: 2-9 - [c67]Tony Hoare:
Fine-grain Concurrency. CPA 2007: 1-19 - 2006
- [j67]Bernhard Beckert, Tony Hoare, Reiner Hähnle
, Douglas R. Smith, Cordell Green, Silvio Ranise
, Cesare Tinelli
, Thomas Ball, Sriram K. Rajamani:
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21(6): 71-81 (2006) - [j66]Juan Bicarregui
, C. A. R. Hoare, J. C. P. Woodcock
:
The verified software repository: a step towards the verifying compiler. Formal Aspects Comput. 18(2): 143-151 (2006) - [c66]Tony Hoare:
The ideal of verified software. ACL2 2006: 61-62 - [c65]Tony Hoare:
The Ideal of Verified Software. CAV 2006: 5-16 - [c64]Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro
:
Proving correctness of highly-concurrent linearisable objects. PPoPP 2006: 129-136 - [c63]Jifeng He, C. A. R. Hoare:
CSP Is a Retract of CCS. UTP 2006: 38-62 - [c62]Tony Hoare:
Verification of Fine-grain Concurrent Programs. LIX 2006: 165-171 - 2005
- [j65]Tony Hoare, Robin Milner:
Grand Challenges for Computing Research. Comput. J. 48(1): 49-52 (2005) - [c61]Roberto Bruni, Michael J. Butler, Carla Ferreira
, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari:
Comparing Two Approaches to Compensable Flow Composition. CONCUR 2005: 383-397 - [c60]Jifeng He, C. A. R. Hoare:
Linking Theories of Concurrency. ICTAC 2005: 303-317 - [c59]C. A. R. Hoare:
The Verifying Compiler, a Grand Challenge for Computing Research. VMCAI 2005: 78-78 - [c58]Tony Hoare, Jayadev Misra:
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project. VSTTE 2005: 1-18 - [c57]Tony Hoare:
Why ever CSP? APC 25 2005: 209-215 - 2004
- [c56]C. A. R. Hoare:
Process Algebra: A Unifying Approach. 25 Years Communicating Sequential Processes 2004: 36-60 - [c55]C. A. R. Hoare:
Towards the Verifying Compiler. Essays in Memory of Ole-Johan Dahl 2004: 124-136 - [c54]Michael J. Butler, C. A. R. Hoare, Carla Ferreira:
A Trace Semantics for Long-Running Transactions. 25 Years Communicating Sequential Processes 2004: 133-150 - [c53]Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof:
Stuck-Free Conformance. CAV 2004: 242-254 - 2003
- [j64]C. A. R. Hoare:
Assertions: A Personal Perspective. IEEE Ann. Hist. Comput. 25(2): 14-25 (2003) - [j63]C. A. R. Hoare:
The verifying compiler: A grand challenge for computing research. J. ACM 50(1): 63-69 (2003) - [c52]C. A. R. Hoare:
The Verifying Compiler: A Grand Challenge for Computing Research. CC 2003: 262-272 - [c51]C. A. R. Hoare:
The Verifying Compiler: A Grand Challenge for Computing Research. Ershov Memorial Conference 2003: 1-12 - [c50]C. A. R. Hoare:
The Verifying Compiler: A Grand Challenge for Computing Research. Euro-Par 2003: 1 - [c49]C. A. R. Hoare:
The Verifying Compiler: A Grand Challange for Computing Research. JMLC 2003: 25-35 - 2002
- [j62]Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards:
In memoriam: Edsger W. Dijkstra 1930-2002. Commun. ACM 45(10): 21-22 (2002) - [c48]C. A. R. Hoare:
Assertions in Modern Software Engineering Practice. COMPSAC 2002: 459-462 - [c47]C. A. R. Hoare:
Assertions in Programming: From Scientific Theory to Engineering Practice. Soft-Ware 2002: 350-351 - [c46]C. A. R. Hoare:
Towards the Verifying Compiler. 10th Anniversary Colloquium of UNU/IIST 2002: 151-160 - [p5]C. A. R. Hoare:
Assertions: A Personal Perspective. Software Pioneers 2002: 356-366 - [p4]C. A. R. Hoare:
An Axiomatic Basis for Computer Programming (Reprint). Software Pioneers 2002: 367-383 - [p3]C. A. R. Hoare:
Proof of Correctness of Data Representations (Reprint). Software Pioneers 2002: 385-396 - 2001
- [j61]C. A. R. Hoare:
Legacy. Inf. Process. Lett. 77(2-4): 123-129 (2001) - [c45]C. A. R. Hoare:
Growing Use of Assertions. TOOLS (38) 2001: 3 - 2000
- [j60]C. A. R. Hoare:
A Hard Act to Follow. High. Order Symb. Comput. 13(1/2): 71-72 (2000) - [c44]Jifeng He, C. A. R. Hoare:
Unifying theories of healthiness condition. APSEC 2000: 70- - [c43]C. A. R. Hoare, Jifeng He, Augusto Sampaio:
Algebraic derivation of an operational semantics. Proof, Language, and Interaction 2000: 77-98 - [c42]C. A. R. Hoare:
Legacy Code. ICFEM 2000: 75 - [c41]C. A. R. Hoare:
Assertions. IFM 2000: 1-2
1990 – 1999
- 1999
- [j59]Jifeng He, C. A. R. Hoare:
Linking Theories in Probabilistic Programming. Inf. Sci. 119(3-4): 205-218 (1999) - [c40]C. A. R. Hoare:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. Correct System Design 1999: 3-28 - [c39]C. A. R. Hoare, Jifeng He:
A Trace Model for Pointers and Objects. ECOOP 1999: 1-17 - [c38]C. A. R. Hoare:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. World Congress on Formal Methods 1999: 1-27 - [c37]Silvija Seres, J. Michael Spivey, C. A. R. Hoare:
Algebra of Logic Programming. ICLP 1999: 184-199 - [c36]Simon L. Peyton Jones, Alastair Reid
, Fergus Henderson, C. A. R. Hoare, Simon Marlow:
A Semantics for Imprecise Exceptions. PLDI 1999: 25-36 - 1998
- [c35]Jifeng He, C. A. R. Hoare:
Unifying theories of programming. RelMiCS 1998: 97-99 - 1997
- [c34]C. A. R. Hoare, Jifeng He:
Unifying Theories for Parallel Programming. Euro-Par 1997: 15-30 - 1996
- [j58]C. A. R. Hoare:
Unifying Theories : A Personal Statement. ACM Comput. Surv. 28(4es): 46 (1996) - [j57]C. A. R. Hoare:
The logic of engineering design. Microprocess. Microprogramming 41(8-9): 525-539 (1996) - [c33]C. A. R. Hoare:
How Did Software Get So Reliable Without Proof? FME 1996: 1-17 - [c32]C. A. R. Hoare:
The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract). ICSE 1996: 233-234 - [c31]C. A. R. Hoare:
Mathematical models for computing science. NATO ASI DPD 1996: 115-164 - 1995
- [j56]Burghard von Karger, C. A. R. Hoare:
Sequential Calculus. Inf. Process. Lett. 53(3): 123-130 (1995) - [c30]C. A. R. Hoare:
Unification of Theories: A Challenge for Computing Science. COMPASS/ADT 1995: 49-57 - 1994
- [j55]C. A. R. Hoare:
Editorial. J. Log. Comput. 4(3): 215-216 (1994) - [c29]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, Hans Rischel:
Provably Correct Systems. FTRTFT 1994: 288-335 - [c28]C. A. R. Hoare, Ian Page:
Hardware and Software: The Closing Gap. Programming Languages and System Architectures 1994: 49-68 - 1993
- [j54]C. A. R. Hoare, Jifeng He, Augusto Sampaio:
Normal Form Approach to Compiler Design. Acta Informatica 30(8): 701-739 (1993) - [j53]Jifeng He, C. A. R. Hoare:
From Algebra to Operational Semantics. Inf. Process. Lett. 45(2): 75-80 (1993) - [c27]C. A. R. Hoare:
Algebra and Models. SIGSOFT FSE 1993: 1-8 - 1992
- [j52]Zhou Chaochen, C. A. R. Hoare:
A Model for Synchronous Switching Circuits and its Theory of Correctness. Formal Methods Syst. Des. 1(1): 7-28 (1992) - [c26]C. A. R. Hoare:
Programs are Predicates. FGCS 1992: 211-218 - [c25]C. A. R. Hoare:
Algebra and Models. NATO ASI PDC 1992: 161-195 - 1991
- [j51]C. A. R. Hoare:
The transputer and occam: A personal story. Concurr. Pract. Exp. 3(4): 249-264 (1991) - [j50]Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn:
A Calculus of Durations. Inf. Process. Lett. 40(5): 269-276 (1991) - [j49]C. E. Martin, C. A. R. Hoare, Jifeng He:
Pre-Adjunctions in Order Enriched Categories. Math. Struct. Comput. Sci. 1(2): 141-158 (1991) - [j48]C. A. R. Hoare:
A Theory for the Derivation of Combinational C-MOS Circuit Designs. Theor. Comput. Sci. 90(1): 235-251 (1991) - 1990
- [j47]C. A. R. Hoare:
Fixed Points of Increasing Functions. Inf. Process. Lett. 34(3): 111-112 (1990) - [c24]C. A. R. Hoare:
Let's Make Models (Abstract). CONCUR 1990: 32 - [c23]Jifeng He, Mark B. Josephs, Charles Antony Richard Hoare:
A Theory of Synchrony and Asynchrony. Programming Concepts and Methods 1990: 459-478 - [c22]C. A. R. Hoare:
A Theory of Conjunction and Concurrency. PARBASE / Architectures 1990: 18-30 - [e1]Dines Bjørner, C. A. R. Hoare, Hans Langmaack:
VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings. Lecture Notes in Computer Science 428, Springer 1990, ISBN 3-540-52513-0 [contents]
1980 – 1989
- 1989
- [c21]Jifeng He, C. A. R. Hoare:
Categorical Semantics for Programming Languages. Mathematical Foundations of Programming Semantics 1989: 402-417 - [c20]C. A. R. Hoare:
The Varieties of Programming Language. TAPSOFT, Vol.1 1989: 1-18 - 1988
- [j46]A. W. Roscoe, C. A. R. Hoare:
The Laws of Occam Programming. Theor. Comput. Sci. 60: 177-229 (1988) - [c19]C. A. R. Hoare, Michael J. C. Gordon:
Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic. LICS 1988: 28-36 - 1987
- [j45]C. A. R. Hoare, Ian J. Hayes
, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin:
Laws of Programming. Commun. ACM 30(8): 672-686 (1987) - [j44]C. A. R. Hoare:
An Overview of Some Formal Methods for Program Design. Computer 20(9): 85-91 (1987) - [j43]Jifeng He, C. A. R. Hoare:
Algebraic Specification and Proof of a Distributed Recovery Algorithm. Distributed Comput. 2(1): 1-12 (1987) - [j42]C. A. R. Hoare, Jifeng He:
The Weakest Prespecification. Inf. Process. Lett. 24(2): 127-132 (1987) - [j41]C. A. R. Hoare, Jifeng He, Jeff W. Sanders:
Prespecification in Data Refinement. Inf. Process. Lett. 25(2): 71-76 (1987) - 1986
- [j40]Ernst-Rüdiger Olderog, C. A. R. Hoare:
Specification-Oriented Semantics for Communicating Processes. Acta Informatica 23(1): 9-66 (1986) - [c18]Jifeng He, C. A. R. Hoare, Jeff W. Sanders:
Data Refinement Refined. ESOP 1986: 187-196 - 1985
- [b2]C. A. R. Hoare:
Communicating Sequential Processes. Prentice-Hall 1985, ISBN 0-13-153271-5 - [j39]C. A. R. Hoare:
A Couple of Novelties in the Propositional Calculus. Math. Log. Q. 31(9-12): 173-178 (1985) - [c17]C. A. R. Hoare:
The Mathematics of Programming. FSTTCS 1985: 1-18 - [i1]K. T. Sridhar, C. A. R. Hoare:
JSD Expressed in CSP. Data Types and Persistence (Appin), Informal Proceedings 1985: 49-82 - 1984
- [j38]Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe:
A Theory of Communicating Sequential Processes. J. ACM 31(3): 560-599 (1984) - [j37]C. A. R. Hoare:
Programming: Sorcery or Science? IEEE Softw. 1(2): 5-16 (1984) - [c16]C. A. R. Hoare, A. W. Roscoe:
Programs as Executable Predicates. FGCS 1984: 220-228 - 1983
- [j36]C. A. R. Hoare:
An Axiomatic Basis for Computer Programming (Reprint). Commun. ACM 26(1): 53-56 (1983) - [j35]C. A. R. Hoare:
Communicating Sequential Processes (Reprint). Commun. ACM 26(1): 100-106 (1983) - [j34]Eric C. R. Hehner, C. A. R. Hoare:
A More Complete Model of Communicating Processes. Theor. Comput. Sci. 26: 105-120 (1983) - [c15]C. A. R. Hoare:
Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad. The Analysis of Concurrent Systems 1983: 115-116 - [c14]C. A. R. Hoare:
Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch. The Analysis of Concurrent Systems 1983: 132-133 - [c13]Carroll Morgan, C. A. R. Hoare:
Specification of a simplified Network Service in CSP. The Analysis of Concurrent Systems 1983: 345-353 - [c12]Ernst-Rüdiger Olderog, C. A. R. Hoare:
Specification-Oriented Semantics for Communicating Processes. ICALP 1983: 561-572 - 1981
- [j33]C. A. R. Hoare:
The Emperor's Old Clothes. Commun. ACM 24(2): 75-83 (1981) - [j32]C. A. R. Hoare:
A Calculus of Total Correctness for Communicating Processes. Sci. Comput. Program. 1(1-2): 49-72 (1981) - [c11]Zhou Chao Chen, C. A. R. Hoare:
Partial Correctness of Communicating Sequential Processes. ICDCS 1981: 1-12 - [c10]Jim Welsh, W. J. Sneeringer, C. A. R. Hoare:
Ambiguities and Insecurities in Pascal. Pascal - The Language and its Implementation 1981: 5-19 - 1980
- [c9]Richard Kennaway, C. A. R. Hoare:
A Theory of Nondeterminism. ICALP 1980: 338-350 - [p2]C. A. R. Hoare:
A Model for Communicating Sequential Processes. On the Construction of Programs 1980: 229-254
1970 – 1979
- 1979
- [j31]Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever:
Semantics of Nondeterminism, Concurrency, and Communication. J. Comput. Syst. Sci. 19(3): 290-308 (1979) - 1978
- [j30]C. A. R. Hoare:
Communicating Sequential Processes. Commun. ACM 21(8): 666-677 (1978) - [j29]C. A. R. Hoare:
Some Properties of Predicate Transformers. J. ACM 25(3): 461-480 (1978) - [c8]C. A. R. Hoare:
Software Engineering: A Keynote Address. ICSE 1978: 1-4 - [c7]Nissim Francez, C. A. R. Hoare, Willem P. de Roever:
Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). MFCS 1978: 191-200 - 1977
- [j28]A. M. Macnaghten, C. A. R. Hoare:
Fast Fourier Transform Free From Tears. Comput. J. 20(1): 78-83 (1977) - [j27]Jim Welsh, W. J. Sneeringer, C. A. R. Hoare:
Ambiguities and Insecurities in Pascal. Softw. Pract. Exp. 7(6): 685-696 (1977) - 1976
- [j26]C. A. R. Hoare:
Parallel Programming: An Axiomatic Approach. Comput. Lang. 1(2): 151-160 (1976) - [j25]W. H. Kaubisch, Ronald H. Perrott, C. A. R. Hoare:
Quasiparallel Programming. Softw. Pract. Exp. 6(3): 341-356 (1976) - 1975
- [j24]H. C. Johnston, C. A. R. Hoare:
Matrix Reduction - An Efficient Method. Commun. ACM 18(3): 141-150 (1975) - [j23]C. A. R. Hoare:
Recursive data structures. Int. J. Parallel Program. 4(2): 105-132 (1975) - [c6]C. A. R. Hoare:
Parallel programming: an axiomatic approach. Language Hierarchies and Interfaces 1975: 11-42 - [c5]C. A. R. Hoare:
Proof of correctness of data representation. Language Hierarchies and Interfaces 1975: 183-193 - [c4]C. A. R. Hoare:
The structure of an operating system. Language Hierarchies and Interfaces 1975: 242-265 - [c3]C. A. R. Hoare:
Data reliability. Reliable Software 1975: 528-533 - 1974
- [j22]C. A. R. Hoare, Peter E. Lauer:
Consistent and Complementary Formal Theories of the Semantics of Programming Languages. Acta Informatica 3: 135-153 (1974) - [j21]C. A. R. Hoare:
Monitors: An Operating System Structuring Concept. Commun. ACM 17(10): 549-557 (1974) - [j20]C. A. R. Hoare:
Optimization of Store Size for Garbage Collection. Inf. Process. Lett. 2(6): 165-166 (1974) - 1973
- [j19]C. A. R. Hoare, Niklaus Wirth:
An Axiomatic Definition of the Programming Language PASCAL. Acta Informatica 2: 335-355 (1973) - [j18]C. A. R. Hoare:
A Structured Paging System. Comput. J. 16(3): 209-215 (1973) - [j17]C. A. R. Hoare:
A General Conservation Law for Queueing Disciplines. Inf. Process. Lett. 2(3): 82-85 (1973) - 1972
- [b1]Ole-Johan Dahl, Edsger W. Dijkstra, Charles Antony Richard Hoare:
Structured programming. A.P.I.C. Studies in data processing 8, Academic Press 1972, ISBN 978-0-12-200550-3, pp. I-VIII, 1-220 - [j16]Maurice Clint, C. A. R. Hoare:
Program Proving: Jumps and Functions. Acta Informatica 1: 214-224 (1972) - [j15]C. A. R. Hoare:
Proof of Correctness of Data Representations. Acta Informatica 1: 271-281 (1972) - [j14]C. A. R. Hoare:
Proof of a structured program: 'the sieve of Eratosthenes'. Comput. J. 15(4): 321-325 (1972) - [j13]C. A. R. Hoare, Donald C. S. Allison:
Incomputability. ACM Comput. Surv. 4(3): 169-178 (1972) - [c2]C. A. R. Hoare:
An axiomatic definition of the programming language PASCAL. International Sympoisum on Theoretical Programming 1972: 1-16 - 1971
- [j12]C. A. R. Hoare:
Proof of a Program: FIND. Commun. ACM 14(1): 39-45 (1971) - [j11]M. Foley, C. A. R. Hoare:
Proof of a Recursive Program: Quicksort. Comput. J. 14(4): 391-395 (1971) - [p1]C. A. R. Hoare:
Procedures and parameters: An axiomatic approach. Symposium on Semantics of Algorithmic Languages 1971: 102-116
1960 – 1969
- 1969
- [j10]C. A. R. Hoare:
An Axiomatic Basis for Computer Programming. Commun. ACM 12(10): 576-580 (1969) - 1968
- [c1]C. A. R. Hoare:
Data structures in two-level store. IFIP Congress (1) 1968: 322-329 - 1966
- [j9]Niklaus Wirth, C. A. R. Hoare:
A contribution to the development of ALGOL. Commun. ACM 9(6): 413-432 (1966) - 1964
- [j8]C. A. R. Hoare:
Review: Book review: ALGOL on the KDF9. Comput. J. 7(2): 154 (1964) - 1963
- [j7]C. A. R. Hoare:
The Elliott ALGOL input/output system. Comput. J. 5(4): 345-348 (1963) - [j6]C. A. R. Hoare:
Book Reviews. Comput. J. 6(2): 143 (1963) - 1962
- [j5]C. A. R. Hoare:
Quicksort. Comput. J. 5(1): 10-15 (1962) - [j4]C. A. R. Hoare:
Report on the Elliott ALGOL Translator. Comput. J. 5(2): 127-129 (1962) - 1961
- [j3]C. A. R. Hoare:
Algorithm 63: partition. Commun. ACM 4(7): 321 (1961) - [j2]C. A. R. Hoare:
Algorithm 65: find. Commun. ACM 4(7): 321-322 (1961) - [j1]C. A. R. Hoare:
Algorithm 64: Quicksort. Commun. ACM 4(7): 321 (1961)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-10 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint