C. A. R. Hoare

145 papers A* 7A 3B 11C 3Journal 70Unranked 40
YearRankTypeTitle / Venue / Authors
2023 J jnl
The odyssey to next-generation computers: cognitive computers (κC) inspired by the brain and powered by intelligent mathematics.
Frontiers Comput. Sci.
Yingxu Wang, Bernard Widrow, C. A. R. Hoare, Witold Pedrycz, Robert C. Berwick, Konstantinos N. Plataniotis, Imre J. Rudas, Jianhua Lu, Janusz Kacprzyk
2021 — ch.
Communicating Sequential Processes.
Theories of Programming
C. A. R. Hoare
2021 — ch.
Preface to Special Issue on Software Verification.
Theories of Programming
C. A. R. Hoare, Jayadev Misra
2011 B conf
On Locality and the Exchange Law for Concurrent Processes.
CONCUR
C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth
2010 — conf
Differential static analysis: opportunities, applications, and challenges.
FoSER
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare
2009 B conf
Concurrent Kleene Algebra.
CONCUR
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
2009 — conf
Foundations of Concurrent Kleene Algebra.
RelMiCS
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
2009 J jnl
Graphical models of separation logic.
Inf. Process. Lett.
Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn
2009 J jnl
Preface to special issue on software verification.
ACM Comput. Surv.
C. A. R. Hoare, Jayadev Misra
2009 J jnl
The verified software initiative: A manifesto.
ACM Comput. Surv.
C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar
2009 J jnl
Viewpoint - Retrospective: an axiomatic basis for computer programming.
Commun. ACM
C. A. R. Hoare
2006 — conf
CSP Is a Retract of CCS.
UTP
Jifeng He, C. A. R. Hoare
2006 J jnl
The verified software repository: a step towards the verifying compiler.
Formal Aspects Comput.
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
2005 B conf
Comparing Two Approaches to Compensable Flow Composition.
CONCUR
Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari
2005 C conf
Linking Theories of Concurrency.
ICTAC
Jifeng He, C. A. R. Hoare
2005 B conf
The Verifying Compiler, a Grand Challenge for Computing Research.
VMCAI
C. A. R. Hoare
2004 — conf
A Trace Semantics for Long-Running Transactions.
25 Years Communicating Sequential Processes
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
2004 — conf
Process Algebra: A Unifying Approach.
25 Years Communicating Sequential Processes
C. A. R. Hoare
2004 A* conf
Stuck-Free Conformance.
CAV
Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof
2004 — conf
Towards the Verifying Compiler.
Essays in Memory of Ole-Johan Dahl
C. A. R. Hoare
2003 J jnl
Assertions: A Personal Perspective.
IEEE Ann. Hist. Comput.
C. A. R. Hoare
2003 — conf
The Verifying Compiler: A Grand Challange for Computing Research.
JMLC
C. A. R. Hoare
2003 B conf
The Verifying Compiler: A Grand Challenge for Computing Research.
CC
C. A. R. Hoare
2003 — conf
The Verifying Compiler: A Grand Challenge for Computing Research.
Ershov Memorial Conference
C. A. R. Hoare
2003 — conf
The Verifying Compiler: A Grand Challenge for Computing Research.
Euro-Par
C. A. R. Hoare
2003 J jnl
The verifying compiler: A grand challenge for computing research.
J. ACM
C. A. R. Hoare
2002 — ch.
An Axiomatic Basis for Computer Programming (Reprint).
Software Pioneers
C. A. R. Hoare
2002 B conf
Assertions in Modern Software Engineering Practice.
COMPSAC
C. A. R. Hoare
2002 — conf
Assertions in Programming: From Scientific Theory to Engineering Practice.
Soft-Ware
C. A. R. Hoare
2002 — ch.
Assertions: A Personal Perspective.
Software Pioneers
C. A. R. Hoare
2002 J jnl
In memoriam: Edsger W. Dijkstra 1930-2002.
Commun. ACM
Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards
2002 — ch.
Proof of Correctness of Data Representations (Reprint).
Software Pioneers
C. A. R. Hoare
2002 — conf
Towards the Verifying Compiler.
10th Anniversary Colloquium of UNU/IIST
C. A. R. Hoare
2001 — conf
Growing Use of Assertions.
TOOLS (38)
C. A. R. Hoare
2001 J jnl
Legacy.
Inf. Process. Lett.
C. A. R. Hoare
2000 J jnl
A Hard Act to Follow.
High. Order Symb. Comput.
C. A. R. Hoare
2000 — conf
Algebraic derivation of an operational semantics.
Proof, Language, and Interaction
C. A. R. Hoare, Jifeng He, Augusto Sampaio
2000 B conf
Assertions.
IFM
C. A. R. Hoare
2000 C conf
Legacy Code.
ICFEM
C. A. R. Hoare
2000 C conf
Unifying theories of healthiness condition.
APSEC
Jifeng He, C. A. R. Hoare
1999 A* conf
A Semantics for Imprecise Exceptions.
PLDI
Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow
1999 A conf
A Trace Model for Pointers and Objects.
ECOOP
C. A. R. Hoare, Jifeng He
1999 B conf
Algebra of Logic Programming.
ICLP
Silvija Seres, J. Michael Spivey, C. A. R. Hoare
1999 J jnl
Linking Theories in Probabilistic Programming.
Inf. Sci.
Jifeng He, C. A. R. Hoare
1999 — conf
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.
Correct System Design
C. A. R. Hoare
1999 — conf
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.
World Congress on Formal Methods
C. A. R. Hoare
1998 — conf
Unifying theories of programming.
RelMiCS
Jifeng He, C. A. R. Hoare
1997 — conf
Unifying Theories for Parallel Programming.
Euro-Par
C. A. R. Hoare, Jifeng He
1996 — conf
How Did Software Get So Reliable Without Proof?
FME
C. A. R. Hoare
1996 — conf
Mathematical models for computing science.
NATO ASI DPD
C. A. R. Hoare
1996 A* conf
The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract).
ICSE
C. A. R. Hoare
1996 J jnl
The logic of engineering design.
Microprocess. Microprogramming
C. A. R. Hoare
1996 J jnl
Unifying Theories : A Personal Statement.
ACM Comput. Surv.
C. A. R. Hoare
1995 J jnl
Sequential Calculus.
Inf. Process. Lett.
Burghard von Karger, C. A. R. Hoare
1995 — conf
Unification of Theories: A Challenge for Computing Science.
COMPASS/ADT
C. A. R. Hoare
1994 J jnl
Editorial.
J. Log. Comput.
C. A. R. Hoare
1994 — conf
Hardware and Software: The Closing Gap.
Programming Languages and System Architectures
C. A. R. Hoare, Ian Page
1994 — conf
Provably Correct Systems.
FTRTFT
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
1993 — conf
Algebra and Models.
SIGSOFT FSE
C. A. R. Hoare
1993 — ch.
An Axiomatic Basis for Computer Programming.
Program Verification
C. A. R. Hoare
1993 J jnl
From Algebra to Operational Semantics.
Inf. Process. Lett.
Jifeng He, C. A. R. Hoare
1993 — ch.
Mathematics of Programming.
Program Verification
C. A. R. Hoare
1993 J jnl
Normal Form Approach to Compiler Design.
Acta Informatica
C. A. R. Hoare, Jifeng He, Augusto Sampaio
1992 J jnl
A Model for Synchronous Switching Circuits and its Theory of Correctness.
Formal Methods Syst. Des.
Zhou Chaochen, C. A. R. Hoare
1992 — conf
Algebra and Models.
NATO ASI PDC
C. A. R. Hoare
1992 — conf
Programs are Predicates.
FGCS
C. A. R. Hoare
1991 J jnl
A Calculus of Durations.
Inf. Process. Lett.
Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn
1991 J jnl
A Theory for the Derivation of Combinational C-MOS Circuit Designs.
Theor. Comput. Sci.
C. A. R. Hoare
1991 J jnl
Pre-Adjunctions in Order Enriched Categories.
Math. Struct. Comput. Sci.
C. E. Martin, C. A. R. Hoare, Jifeng He
1991 J jnl
The transputer and occam: A personal story.
Concurr. Pract. Exp.
C. A. R. Hoare
1990 — conf
A Theory of Conjunction and Concurrency.
PARBASE / Architectures
C. A. R. Hoare
1990 J jnl
Fixed Points of Increasing Functions.
Inf. Process. Lett.
C. A. R. Hoare
1990 B conf
Let's Make Models (Abstract).
CONCUR
C. A. R. Hoare
1990 — ed.
VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
VDM Europe
Dines Bjørner, C. A. R. Hoare, Hans Langmaack
1989 B conf
Categorical Semantics for Programming Languages.
Mathematical Foundations of Programming Semantics
Jifeng He, C. A. R. Hoare
1989 — conf
The Varieties of Programming Language.
TAPSOFT, Vol.1
C. A. R. Hoare
1988 A* conf
Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic
LICS
C. A. R. Hoare, Michael J. C. Gordon
1988 J jnl
The Laws of Occam Programming.
Theor. Comput. Sci.
A. W. Roscoe, C. A. R. Hoare
1987 J jnl
Algebraic Specification and Proof of a Distributed Recovery Algorithm.
Distributed Comput.
Jifeng He, C. A. R. Hoare
1987 J jnl
An Overview of Some Formal Methods for Program Design.
Computer
C. A. R. Hoare
1987 J jnl
Laws of Programming.
Commun. ACM
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
1987 J jnl
Prespecification in Data Refinement.
Inf. Process. Lett.
C. A. R. Hoare, Jifeng He, Jeff W. Sanders
1987 J jnl
The Weakest Prespecification.
Inf. Process. Lett.
C. A. R. Hoare, Jifeng He
1986 A conf
Data Refinement Refined.
ESOP
Jifeng He, C. A. R. Hoare, Jeff W. Sanders
1986 J jnl
Specification-Oriented Semantics for Communicating Processes.
Acta Informatica
Ernst-Rüdiger Olderog, C. A. R. Hoare
1985 J jnl
A Couple of Novelties in the Propositional Calculus.
Math. Log. Q.
C. A. R. Hoare
1985 — book
Communicating Sequential Processes
C. A. R. Hoare
1985 — conf
JSD Expressed in CSP.
Data Types and Persistence (Appin), Informal Proceedings
K. T. Sridhar, C. A. R. Hoare
1985 — conf
The Mathematics of Programming.
FSTTCS
C. A. R. Hoare
1984 J jnl
A Theory of Communicating Sequential Processes.
J. ACM
Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe
1984 J jnl
Programming: Sorcery or Science?
IEEE Softw.
C. A. R. Hoare
1984 — conf
Programs as Executable Predicates.
FGCS
C. A. R. Hoare, A. W. Roscoe
1983 J jnl
A More Complete Model of Communicating Processes.
Theor. Comput. Sci.
Eric C. R. Hehner, C. A. R. Hoare
1983 J jnl
An Axiomatic Basis for Computer Programming (Reprint).
Commun. ACM
C. A. R. Hoare
1983 J jnl
Communicating Sequential Processes (Reprint).
Commun. ACM
C. A. R. Hoare
1983 — conf
Specification of a simplified Network Service in CSP.
The Analysis of Concurrent Systems
Carroll Morgan, C. A. R. Hoare
1983 A* conf
Specification-Oriented Semantics for Communicating Processes.
ICALP
Ernst-Rüdiger Olderog, C. A. R. Hoare
1983 — conf
Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch.
The Analysis of Concurrent Systems
C. A. R. Hoare
1983 — conf
Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad.
The Analysis of Concurrent Systems
C. A. R. Hoare
1981 J jnl
A Calculus of Total Correctness for Communicating Processes.
Sci. Comput. Program.
C. A. R. Hoare
1981 — conf
Ambiguities and Insecurities in Pascal.
Pascal - The Language and its Implementation
Jim Welsh, W. J. Sneeringer, C. A. R. Hoare
1981 A conf
Partial Correctness of Communicating Sequential Processes.
ICDCS
Zhou Chao Chen, C. A. R. Hoare
1981 J jnl
The Emperor's Old Clothes.
Commun. ACM
C. A. R. Hoare
1980 — ch.
A Model for Communicating Sequential Processes.
On the Construction of Programs
C. A. R. Hoare
1980 A* conf
A Theory of Nondeterminism.
ICALP
Richard Kennaway, C. A. R. Hoare
1979 J jnl
Semantics of Nondeterminism, Concurrency, and Communication.
J. Comput. Syst. Sci.
Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever
1978 J jnl
Communicating Sequential Processes.
Commun. ACM
C. A. R. Hoare
1978 B conf
Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract).
MFCS
Nissim Francez, C. A. R. Hoare, Willem P. de Roever
1978 A* conf
Software Engineering: A Keynote Address.
ICSE
C. A. R. Hoare
1978 J jnl
Some Properties of Predicate Transformers.
J. ACM
C. A. R. Hoare
1977 J jnl
Ambiguities and Insecurities in Pascal.
Softw. Pract. Exp.
Jim Welsh, W. J. Sneeringer, C. A. R. Hoare
1977 J jnl
Fast Fourier Transform Free From Tears.
Comput. J.
A. M. Macnaghten, C. A. R. Hoare
1976 J jnl
Parallel Programming: An Axiomatic Approach.
Comput. Lang.
C. A. R. Hoare
1976 J jnl
Quasiparallel Programming.
Softw. Pract. Exp.
W. H. Kaubisch, Ronald H. Perrott, C. A. R. Hoare
1975 — conf
Data reliability.
Reliable Software
C. A. R. Hoare
1975 J jnl
Matrix Reduction - An Efficient Method.
Commun. ACM
H. C. Johnston, C. A. R. Hoare
1975 — conf
Parallel programming: an axiomatic approach.
Language Hierarchies and Interfaces
C. A. R. Hoare
1975 — conf
Proof of correctness of data representation.
Language Hierarchies and Interfaces
C. A. R. Hoare
1975 J jnl
Recursive data structures.
Int. J. Parallel Program.
C. A. R. Hoare
1975 — conf
The structure of an operating system.
Language Hierarchies and Interfaces
C. A. R. Hoare
1974 J jnl
Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Acta Informatica
C. A. R. Hoare, Peter E. Lauer
1974 J jnl
Monitors: An Operating System Structuring Concept.
Commun. ACM
C. A. R. Hoare
1974 J jnl
Optimization of Store Size for Garbage Collection.
Inf. Process. Lett.
C. A. R. Hoare
1973 J jnl
A General Conservation Law for Queueing Disciplines.
Inf. Process. Lett.
C. A. R. Hoare
1973 J jnl
A Structured Paging System.
Comput. J.
C. A. R. Hoare
1973 J jnl
An Axiomatic Definition of the Programming Language PASCAL
Acta Informatica
C. A. R. Hoare, Niklaus Wirth
1972 — conf
An axiomatic definition of the programming language PASCAL.
International Sympoisum on Theoretical Programming
C. A. R. Hoare
1972 J jnl
Incomputability.
ACM Comput. Surv.
C. A. R. Hoare, Donald C. S. Allison
1972 J jnl
Program Proving: Jumps and Functions.
Acta Informatica
Maurice Clint, C. A. R. Hoare
1972 J jnl
Proof of Correctness of Data Representations.
Acta Informatica
C. A. R. Hoare
1972 J jnl
Proof of a structured program: 'the sieve of Eratosthenes'.
Comput. J.
C. A. R. Hoare
1971 — ch.
Procedures and parameters: An axiomatic approach.
Symposium on Semantics of Algorithmic Languages
C. A. R. Hoare
1971 J jnl
Proof of a Program: FIND.
Commun. ACM
C. A. R. Hoare
1971 J jnl
Proof of a Recursive Program: Quicksort.
Comput. J.
M. Foley, C. A. R. Hoare
1969 J jnl
An Axiomatic Basis for Computer Programming.
Commun. ACM
C. A. R. Hoare
1968 — conf
Data structures in two-level store.
IFIP Congress (1)
C. A. R. Hoare
1966 J jnl
A contribution to the development of ALGOL.
Commun. ACM
Niklaus Wirth, C. A. R. Hoare
1964 J jnl
Review: Book review: ALGOL on the KDF9.
Comput. J.
C. A. R. Hoare
1963 J jnl
Book Reviews.
Comput. J.
C. A. R. Hoare
1963 J jnl
The Elliott ALGOL input/output system.
Comput. J.
C. A. R. Hoare
1962 J jnl
Quicksort.
Comput. J.
C. A. R. Hoare
1962 J jnl
Report on the Elliott ALGOL Translator.
Comput. J.
C. A. R. Hoare
1961 J jnl
Algorithm 63: partition.
Commun. ACM
C. A. R. Hoare
1961 J jnl
Algorithm 64: Quicksort.
Commun. ACM
C. A. R. Hoare
1961 J jnl
Algorithm 65: find.
Commun. ACM
C. A. R. Hoare