default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDC. A. R. Hoare
Tony Hoare – Charles Antony Richard 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
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
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]