C. A. R. Hoare

Publication Activity (10 Years)

Years Active: 1961-2023
Publications (10 Years): 1

Top Venues

Frontiers Comput. Sci.

Publications

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)
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)
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare
Differential static analysis: opportunities, applications, and challenges. FoSER (2010)
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Concurrent Kleene Algebra. CONCUR (2009)
Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn
Graphical models of separation logic. Inf. Process. Lett. 109 (17) (2009)
C. A. R. Hoare
Viewpoint - Retrospective: an axiomatic basis for computer programming. Commun. ACM 52 (10) (2009)
C. A. R. Hoare, Jayadev Misra
Preface to special issue on software verification. ACM Comput. Surv. 41 (4) (2009)
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Foundations of Concurrent Kleene Algebra. RelMiCS (2009)
C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar
The verified software initiative: A manifesto. ACM Comput. Surv. 41 (4) (2009)
Jifeng He, C. A. R. Hoare
CSP Is a Retract of CCS. UTP (2006)
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) (2006)
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)
C. A. R. Hoare
The Verifying Compiler, a Grand Challenge for Computing Research. VMCAI (2005)
Jifeng He, C. A. R. Hoare
Linking Theories of Concurrency. ICTAC (2005)
Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof
Stuck-Free Conformance. CAV (2004)
C. A. R. Hoare
Towards the Verifying Compiler. Essays in Memory of Ole-Johan Dahl (2004)
C. A. R. Hoare
Process Algebra: A Unifying Approach. 25 Years Communicating Sequential Processes (2004)
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
A Trace Semantics for Long-Running Transactions. 25 Years Communicating Sequential Processes (2004)
C. A. R. Hoare
Assertions: A Personal Perspective. IEEE Ann. Hist. Comput. 25 (2) (2003)
C. A. R. Hoare
The Verifying Compiler: A Grand Challenge for Computing Research. Ershov Memorial Conference (2003)
C. A. R. Hoare
The Verifying Compiler: A Grand Challange for Computing Research. JMLC (2003)
C. A. R. Hoare
The Verifying Compiler: A Grand Challenge for Computing Research. Euro-Par (2003)
C. A. R. Hoare
The verifying compiler: A grand challenge for computing research. J. ACM 50 (1) (2003)
C. A. R. Hoare
The Verifying Compiler: A Grand Challenge for Computing Research. CC (2003)
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) (2002)
C. A. R. Hoare
Towards the Verifying Compiler. 10th Anniversary Colloquium of UNU/IIST (2002)
C. A. R. Hoare
Assertions in Modern Software Engineering Practice. COMPSAC (2002)
C. A. R. Hoare
Assertions in Programming: From Scientific Theory to Engineering Practice. Soft-Ware (2002)
C. A. R. Hoare
Legacy. Inf. Process. Lett. 77 (2-4) (2001)
C. A. R. Hoare
Growing Use of Assertions. TOOLS (38) (2001)
C. A. R. Hoare, Jifeng He, Augusto Sampaio
Algebraic derivation of an operational semantics. Proof, Language, and Interaction (2000)
C. A. R. Hoare
A Hard Act to Follow. High. Order Symb. Comput. 13 (1/2) (2000)
C. A. R. Hoare
Assertions. IFM (2000)
Jifeng He, C. A. R. Hoare
Unifying theories of healthiness condition. APSEC (2000)
C. A. R. Hoare
Legacy Code. ICFEM (2000)
Jifeng He, C. A. R. Hoare
Linking Theories in Probabilistic Programming. Inf. Sci. 119 (3-4) (1999)
Silvija Seres, J. Michael Spivey, C. A. R. Hoare
Algebra of Logic Programming. ICLP (1999)
C. A. R. Hoare, Jifeng He
A Trace Model for Pointers and Objects. ECOOP (1999)
Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow
A Semantics for Imprecise Exceptions. PLDI (1999)
C. A. R. Hoare
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. Correct System Design (1999)
C. A. R. Hoare
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. World Congress on Formal Methods (1999)
Jifeng He, C. A. R. Hoare
Unifying theories of programming. RelMiCS (1998)
C. A. R. Hoare, Jifeng He
Unifying Theories for Parallel Programming. Euro-Par (1997)
C. A. R. Hoare
Mathematical models for computing science. NATO ASI DPD (1996)
C. A. R. Hoare
Unifying Theories : A Personal Statement. ACM Comput. Surv. 28 (4es) (1996)
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)
C. A. R. Hoare
The logic of engineering design. Microprocess. Microprogramming 41 (8-9) (1996)
C. A. R. Hoare
How Did Software Get So Reliable Without Proof? FME (1996)
C. A. R. Hoare
Unification of Theories: A Challenge for Computing Science. COMPASS/ADT (1995)
Burghard von Karger, C. A. R. Hoare
Sequential Calculus. Inf. Process. Lett. 53 (3) (1995)
C. A. R. Hoare, Ian Page
Hardware and Software: The Closing Gap. Programming Languages and System Architectures (1994)
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)
C. A. R. Hoare
Editorial. J. Log. Comput. 4 (3) (1994)
C. A. R. Hoare, Jifeng He, Augusto Sampaio
Normal Form Approach to Compiler Design. Acta Informatica 30 (8) (1993)
Jifeng He, C. A. R. Hoare
From Algebra to Operational Semantics. Inf. Process. Lett. 45 (2) (1993)
C. A. R. Hoare
Algebra and Models. SIGSOFT FSE (1993)
Zhou Chaochen, C. A. R. Hoare
A Model for Synchronous Switching Circuits and its Theory of Correctness. Formal Methods Syst. Des. 1 (1) (1992)
C. A. R. Hoare
Algebra and Models. NATO ASI PDC (1992)
C. A. R. Hoare
Programs are Predicates. FGCS (1992)
C. A. R. Hoare
The transputer and occam: A personal story. Concurr. Pract. Exp. 3 (4) (1991)
C. E. Martin, C. A. R. Hoare, Jifeng He
Pre-Adjunctions in Order Enriched Categories. Math. Struct. Comput. Sci. 1 (2) (1991)
Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn
A Calculus of Durations. Inf. Process. Lett. 40 (5) (1991)
C. A. R. Hoare
A Theory for the Derivation of Combinational C-MOS Circuit Designs. Theor. Comput. Sci. 90 (1) (1991)
C. A. R. Hoare
Let's Make Models (Abstract). CONCUR (1990)
C. A. R. Hoare
A Theory of Conjunction and Concurrency. PARBASE / Architectures (1990)
C. A. R. Hoare
Fixed Points of Increasing Functions. Inf. Process. Lett. 34 (3) (1990)
C. A. R. Hoare
The Varieties of Programming Language. TAPSOFT, Vol.1 (1989)
Jifeng He, C. A. R. Hoare
Categorical Semantics for Programming Languages. Mathematical Foundations of Programming Semantics (1989)
C. A. R. Hoare, Michael J. C. Gordon
Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic LICS (1988)
A. W. Roscoe, C. A. R. Hoare
The Laws of Occam Programming. Theor. Comput. Sci. 60 (1988)
C. A. R. Hoare, Jifeng He, Jeff W. Sanders
Prespecification in Data Refinement. Inf. Process. Lett. 25 (2) (1987)
Jifeng He, C. A. R. Hoare
Algebraic Specification and Proof of a Distributed Recovery Algorithm. Distributed Comput. 2 (1) (1987)
C. A. R. Hoare
An Overview of Some Formal Methods for Program Design. Computer 20 (9) (1987)
C. A. R. Hoare, Jifeng He
The Weakest Prespecification. Inf. Process. Lett. 24 (2) (1987)
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) (1987)
Jifeng He, C. A. R. Hoare, Jeff W. Sanders
Data Refinement Refined. ESOP (1986)
Ernst-Rüdiger Olderog, C. A. R. Hoare
Specification-Oriented Semantics for Communicating Processes. Acta Informatica 23 (1) (1986)
C. A. R. Hoare
A Couple of Novelties in the Propositional Calculus. Math. Log. Q. 31 (9-12) (1985)
K. T. Sridhar, C. A. R. Hoare
JSD Expressed in CSP. Data Types and Persistence (Appin), Informal Proceedings (1985)
C. A. R. Hoare
The Mathematics of Programming. FSTTCS (1985)
C. A. R. Hoare, A. W. Roscoe
Programs as Executable Predicates. FGCS (1984)
C. A. R. Hoare
Programming: Sorcery or Science? IEEE Softw. 1 (2) (1984)
Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe
A Theory of Communicating Sequential Processes. J. ACM 31 (3) (1984)
Carroll Morgan, C. A. R. Hoare
Specification of a simplified Network Service in CSP. The Analysis of Concurrent Systems (1983)
Ernst-Rüdiger Olderog, C. A. R. Hoare
Specification-Oriented Semantics for Communicating Processes. ICALP (1983)
C. A. R. Hoare
Communicating Sequential Processes (Reprint). Commun. ACM 26 (1) (1983)
C. A. R. Hoare
An Axiomatic Basis for Computer Programming (Reprint). Commun. ACM 26 (1) (1983)
C. A. R. Hoare
Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad. The Analysis of Concurrent Systems (1983)
C. A. R. Hoare
Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch. The Analysis of Concurrent Systems (1983)
Eric C. R. Hehner, C. A. R. Hoare
A More Complete Model of Communicating Processes. Theor. Comput. Sci. 26 (1983)
C. A. R. Hoare
A Calculus of Total Correctness for Communicating Processes. Sci. Comput. Program. 1 (1-2) (1981)
Jim Welsh, W. J. Sneeringer, C. A. R. Hoare
Ambiguities and Insecurities in Pascal. Pascal - The Language and its Implementation (1981)
C. A. R. Hoare
The Emperor's Old Clothes. Commun. ACM 24 (2) (1981)
Zhou Chao Chen, C. A. R. Hoare
Partial Correctness of Communicating Sequential Processes. ICDCS (1981)
Richard Kennaway, C. A. R. Hoare
A Theory of Nondeterminism. ICALP (1980)
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) (1979)
C. A. R. Hoare
Communicating Sequential Processes. Commun. ACM 21 (8) (1978)
C. A. R. Hoare
Some Properties of Predicate Transformers. J. ACM 25 (3) (1978)
Nissim Francez, C. A. R. Hoare, Willem P. de Roever
Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). MFCS (1978)
C. A. R. Hoare
Software Engineering: A Keynote Address. ICSE (1978)

C. A. R. Hoare.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

C. A. R. Hoare