C. Antony R. Hoare

According to our database, C. Antony R. Hoare authored at least 177 papers between 1961 and 2023.

Collaborative distances:

• Dijkstra number of one.
• Erdős number of three.

2023

The odyssey to next-generation computers: cognitive computers (κC) inspired by the brain and powered by intelligent mathematics.

Yingxu Wang, Bernard Widrow, C. A. R. Hoare, Witold Pedrycz, Robert C. Berwick, Konstantinos N. Plataniotis, Imre J. Rudas, Jianhua Lu, Janusz Kacprzyk

Frontiers Comput. Sci., 2023

2022

Geometric Theory for Program Testing.

Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong

CoRR, 2022

Forty Years with Edsger.

Tony Hoare

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2021

Edsger W. Dijkstra: a Commemoration.

Krzysztof R. Apt, Tony Hoare

CoRR, 2021

On Algebra of Program Correctness and Incorrectness.

Bernhard Möller, Peter W. O'Hearn, Tony Hoare

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

The Verified Software Initiative: A Manifesto.

Tony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

Preface to Special Issue on Software Verification.

C. A. R. Hoare, Jayadev Misra

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

Envoi.

Tony Hoare

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

Communicating Sequential Processes.

C. A. R. Hoare

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

The 1980 ACM Turing Award Lecture.

Tony Hoare

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2019

A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic.

Tony Hoare, Georg Struth, Jim Woodcock

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Logic, Algebra, and Geometry at the Foundation of Computer Science.

Tony Hoare, Alexandra Mendes, João F. Ferreira

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

2016

Developments in concurrent Kleene algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu

J. Log. Algebraic Methods Program., 2016

A Discrete Geometric Model of Concurrent Program Execution.

Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

2015

Exploring an Interface Model for CKA.

Bernhard Möller, Tony Hoare

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

The laws of programming unify process calculi.

Tony Hoare, Stephan van Staden

Sci. Comput. Program., 2014

Laws of concurrent programming.

Tony Hoare

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Laws of Programming: The Algebraic Unification of Theories of Concurrency.

Tony Hoare

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Developments in Concurrent Kleene Algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Laws of programming with concurrency (Invited Talk).

Tony Hoare

Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

Generic Models of the Laws of Programming.

Tony Hoare

Proceedings of the Theories of Programming and Formal Methods, 2013

Unifying Semantics for Concurrent Programming.

Tony Hoare

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

In praise of algebra.

Tony Hoare, Stephan van Staden

Formal Aspects Comput., 2012

Algebra Unifies Operational Calculi.

Stephan van Staden, Tony Hoare

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award.

Tony Hoare

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Algebra of concurrent design.

Tony Hoare

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Net Models for Concurrent Object Behaviour.

Tony Hoare

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Unifying Models of Data Flow.

Tony Hoare, John Wickerson

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Concurrent Kleene Algebra and its Foundations.

Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

J. Log. Algebraic Methods Program., 2011

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, Georg Struth

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Recovery Blocks.

Tony Hoare

Proceedings of the Dependable and Historic Computing, 2011

2010

CSP is a retract of CCS.

Jifeng He, Tony Hoare

Theor. Comput. Sci., 2010

Fine-grain concurrency.

Tony Hoare

Concurr. Comput. Pract. Exp., 2010

Testing and Proving, Hand-in-Hand.

Tony Hoare

Proceedings of the Testing, 2010

Differential static analysis: opportunities, applications, and challenges.

Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Unraveling a Card Trick.

Tony Hoare, Natarajan Shankar

Proceedings of the Time for Verification, 2010

2009

Graphical models of separation logic.

Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn

Inf. Process. Lett., 2009

The verified software initiative: A manifesto.

C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar

ACM Comput. Surv., 2009

Preface to special issue on software verification.

C. A. R. Hoare, Jayadev Misra

ACM Comput. Surv., 2009

Viewpoint - Retrospective: an axiomatic basis for computer programming.

C. A. R. Hoare

Commun. ACM, 2009

Concurrent Kleene Algebra.

C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Foundations of Concurrent Kleene Algebra.

C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Separation Logic Semantics for Communicating Processes.

Tony Hoare, Peter W. O'Hearn

Proceedings of the First International Conference on Foundations of Informatics, 2008

Compensable Transactions.

Tony Hoare

Proceedings of the Advanced Lectures on Software Engineering, 2008

Verified Software: Theories, Tools, Experiments.

Tony Hoare

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Keynote: A Vision for the Science of Computing.

Tony Hoare

Proceedings of the Visions of Computer Science, 2008

2007

The Ideal of Program Correctness: <i>Third Computer Journal</i> Lecture.

Tony Hoare

Comput. J., 2007

Science and Engineering: A Collusion of Cultures.

Tony Hoare

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

The verified software repository: a step towards the verifying compiler.

Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock

Formal Aspects Comput., 2006

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, Sriram K. Rajamani

IEEE Intell. Syst., 2006

Verification of Fine-grain Concurrent Programs.

Tony Hoare

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

Proving correctness of highly-concurrent linearisable objects.

Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

The Ideal of Verified Software.

Tony Hoare

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Why ever CSP?

Tony Hoare

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Grand Challenges for Computing Research.

Tony Hoare, Robin Milner

Comput. J., 2005

Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.

Tony Hoare, Jayadev Misra

Proceedings of the Verified Software: Theories, 2005

Linking Theories of Concurrency.

Jifeng He, C. A. R. Hoare

Proceedings of the Theoretical Aspects of Computing, 2005

Comparing Two Approaches to Compensable Flow Composition.

Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Stuck-Free Conformance.

Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Process Algebra: A Unifying Approach.

C. A. R. Hoare

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

Towards the Verifying Compiler.

C. A. R. Hoare

Proceedings of the From Object-Orientation to Formal Methods, 2004

A Trace Semantics for Long-Running Transactions.

Michael J. Butler, C. A. R. Hoare, Carla Ferreira

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003

The verifying compiler: A grand challenge for computing research.

C. A. R. Hoare

J. ACM, 2003

Assertions: A Personal Perspective.

C. A. R. Hoare

IEEE Ann. Hist. Comput., 2003

The Verifying Compiler: A Grand Challange for Computing Research.

C. A. R. Hoare

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

2002

In memoriam: Edsger W. Dijkstra 1930-2002.

Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards

Commun. ACM, 2002

Assertions in Programming: From Scientific Theory to Engineering Practice.

C. A. R. Hoare

Proceedings of the Soft-Ware 2002: Computing in an Imperfect World, 2002

Assertions in Modern Software Engineering Practice.

C. A. R. Hoare

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Proof of Correctness of Data Representations (Reprint).

C. A. R. Hoare

Proceedings of the Software Pioneers., 2002

An Axiomatic Basis for Computer Programming (Reprint).

C. A. R. Hoare

Proceedings of the Software Pioneers., 2002

Assertions: A Personal Perspective.

C. A. R. Hoare

Proceedings of the Software Pioneers., 2002

2001

Legacy.

C. A. R. Hoare

Inf. Process. Lett., 2001

Growing Use of Assertions.

C. A. R. Hoare

Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

2000

A Hard Act to Follow.

C. A. R. Hoare

High. Order Symb. Comput., 2000

Assertions.

C. A. R. Hoare

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Legacy Code.

C. A. R. Hoare

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Algebraic derivation of an operational semantics.

C. A. R. Hoare, Jifeng He, Augusto Sampaio

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

Unifying theories of healthiness condition.

Jifeng He, C. A. R. Hoare

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Linking Theories in Probabilistic Programming.

Jifeng He, C. A. R. Hoare

Inf. Sci., 1999

A Semantics for Imprecise Exceptions.

Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Algebra of Logic Programming.

Silvija Seres, J. Michael Spivey, C. A. R. Hoare

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.

C. A. R. Hoare

Proceedings of the FM'99 - Formal Methods, 1999

A Trace Model for Pointers and Objects.

C. A. R. Hoare, Jifeng He

Proceedings of the ECOOP'99, 1999

1998

Unifying theories of programming.

Jifeng He, C. A. R. Hoare

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Unifying Theories for Parallel Programming.

C. A. R. Hoare, Jifeng He

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

The logic of engineering design.

C. A. R. Hoare

Microprocess. Microprogramming, 1996

Unifying Theories : A Personal Statement.

C. A. R. Hoare

ACM Comput. Surv., 1996

Mathematical models for computing science.

C. A. R. Hoare

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract).

C. A. R. Hoare

Proceedings of the 18th International Conference on Software Engineering, 1996

How Did Software Get So Reliable Without Proof?

C. A. R. Hoare

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Sequential Calculus.

Burghard von Karger, C. A. R. Hoare

Inf. Process. Lett., 1995

Unification of Theories: A Challenge for Computing Science.

C. A. R. Hoare

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Editorial.

C. A. R. Hoare

J. Log. Comput., 1994

Hardware and Software: The Closing Gap.

C. A. R. Hoare, Ian Page

Proceedings of the Programming Languages and System Architectures, 1994

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, Hans Rischel

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

From Algebra to Operational Semantics.

Jifeng He, C. A. R. Hoare

Inf. Process. Lett., 1993

Normal Form Approach to Compiler Design.

C. A. R. Hoare, Jifeng He, Augusto Sampaio

Acta Informatica, 1993

1992

A Model for Synchronous Switching Circuits and its Theory of Correctness.

Zhou Chaochen, C. A. R. Hoare

Formal Methods Syst. Des., 1992

Algebra and Models.

C. A. R. Hoare

Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992

Programs are Predicates.

C. A. R. Hoare

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

A Theory for the Derivation of Combinational C-MOS Circuit Designs.

C. A. R. Hoare

Theor. Comput. Sci., 1991

Pre-Adjunctions in Order Enriched Categories.

C. E. Martin, C. A. R. Hoare, Jifeng He

Math. Struct. Comput. Sci., 1991

A Calculus of Durations.

Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn

Inf. Process. Lett., 1991

The transputer and occam: A personal story.

C. A. R. Hoare

Concurr. Pract. Exp., 1991

1990

Fixed Points of Increasing Functions.

C. A. R. Hoare

Inf. Process. Lett., 1990

A Theory of Conjunction and Concurrency.

C. A. R. Hoare

Proceedings of the Parallel Architectures (Postconference PARBASE-90)., 1990

A Theory of Synchrony and Asynchrony.

Jifeng He, Mark B. Josephs, Charles Antony Richard Hoare

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Let's Make Models (Abstract).

C. A. R. Hoare

Proceedings of the CONCUR '90, 1990

1989

The Varieties of Programming Language.

C. A. R. Hoare

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Categorical Semantics for Programming Languages.

Jifeng He, C. A. R. Hoare

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

1988

The Laws of Occam Programming.

A. W. Roscoe, C. A. R. Hoare

Theor. Comput. Sci., 1988

Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic

C. A. R. Hoare, Michael J. C. Gordon

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987

Prespecification in Data Refinement.

C. A. R. Hoare, Jifeng He, Jeff W. Sanders

Inf. Process. Lett., 1987

The Weakest Prespecification.

C. A. R. Hoare, Jifeng He

Inf. Process. Lett., 1987

Algebraic Specification and Proof of a Distributed Recovery Algorithm.

Jifeng He, C. A. R. Hoare

Distributed Comput., 1987

An Overview of Some Formal Methods for Program Design.

C. A. R. Hoare

Computer, 1987

Laws of Programming.

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

Commun. ACM, 1987

1986

Specification-Oriented Semantics for Communicating Processes.

Ernst-Rüdiger Olderog, C. A. R. Hoare

Acta Informatica, 1986

Data Refinement Refined.

Jifeng He, C. A. R. Hoare, Jeff W. Sanders

Proceedings of the ESOP 86, 1986

1985

A Couple of Novelties in the Propositional Calculus.

C. A. R. Hoare

Math. Log. Q., 1985

JSD Expressed in CSP.

K. T. Sridhar, C. A. R. Hoare

Proceedings of the Data Types and Persistence, 1985

The Mathematics of Programming.

C. A. R. Hoare

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

Communicating Sequential Processes

C. A. R. Hoare

Prentice-Hall, ISBN: 0-13-153271-5, 1985

1984

Programming: Sorcery or Science?

C. A. R. Hoare

IEEE Softw., 1984

A Theory of Communicating Sequential Processes.

Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe

J. ACM, 1984

Programs as Executable Predicates.

C. A. R. Hoare, A. W. Roscoe

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

A More Complete Model of Communicating Processes.

Eric C. R. Hehner, C. A. R. Hoare

Theor. Comput. Sci., 1983

Communicating Sequential Processes (Reprint).

C. A. R. Hoare

Commun. ACM, 1983

An Axiomatic Basis for Computer Programming (Reprint).

C. A. R. Hoare

Commun. ACM, 1983

Specification of a simplified Network Service in CSP.

Carroll Morgan, C. A. R. Hoare

Proceedings of the Analysis of Concurrent Systems, 1983

Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch.

C. A. R. Hoare

Proceedings of the Analysis of Concurrent Systems, 1983

Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad.

C. A. R. Hoare

Proceedings of the Analysis of Concurrent Systems, 1983

1981

A Calculus of Total Correctness for Communicating Processes.

C. A. R. Hoare

Sci. Comput. Program., 1981

The Emperor's Old Clothes.

C. A. R. Hoare

Commun. ACM, 1981

Partial Correctness of Communicating Sequential Processes.

Zhou Chao Chen, C. A. R. Hoare

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980

A Theory of Nondeterminism.

Richard Kennaway, C. A. R. Hoare

Proceedings of the Automata, 1980

A Model for Communicating Sequential Processes.

C. A. R. Hoare

Proceedings of the On the Construction of Programs, 1980

1979

Semantics of Nondeterminism, Concurrency, and Communication.

Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever

J. Comput. Syst. Sci., 1979

1978

Some Properties of Predicate Transformers.

C. A. R. Hoare

J. ACM, 1978

Communicating Sequential Processes.

C. A. R. Hoare

Commun. ACM, 1978

Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract).

Nissim Francez, C. A. R. Hoare, Willem P. de Roever

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Software Engineering: A Keynote Address.

C. A. R. Hoare

Proceedings of the 3rd International Conference on Software Engineering, 1978

1977

Ambiguities and Insecurities in Pascal.

Jim Welsh, W. J. Sneeringer, C. A. R. Hoare

Softw. Pract. Exp., 1977

Fast Fourier Transform Free From Tears.

A. M. Macnaghten, C. A. R. Hoare

Comput. J., 1977

1976

Quasiparallel Programming.

W. H. Kaubisch, Ronald H. Perrott, C. A. R. Hoare

Softw. Pract. Exp., 1976

Parallel Programming: An Axiomatic Approach.

C. A. R. Hoare

Comput. Lang., 1976

1975

Recursive data structures.

C. A. R. Hoare

Int. J. Parallel Program., 1975

Matrix Reduction - An Efficient Method.

H. C. Johnston, C. A. R. Hoare

Commun. ACM, 1975

Data reliability.

C. A. R. Hoare

Proceedings of the International Conference on Reliable Software 1975, 1975

The structure of an operating system.

C. A. R. Hoare

Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

Proof of correctness of data representation.

C. A. R. Hoare

Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

1974

Optimization of Store Size for Garbage Collection.

C. A. R. Hoare

Inf. Process. Lett., 1974

Monitors: An Operating System Structuring Concept.

C. A. R. Hoare

Commun. ACM, 1974

Consistent and Complementary Formal Theories of the Semantics of Programming Languages.

C. A. R. Hoare, Peter E. Lauer

Acta Informatica, 1974

1973

A General Conservation Law for Queueing Disciplines.

C. A. R. Hoare

Inf. Process. Lett., 1973

A Structured Paging System.

C. A. R. Hoare

Comput. J., 1973

An Axiomatic Definition of the Programming Language PASCAL

C. A. R. Hoare, Niklaus Wirth

Acta Informatica, 1973

1972

Incomputability.

C. A. R. Hoare, Donald C. S. Allison

ACM Comput. Surv., 1972

Proof of a structured program: 'the sieve of Eratosthenes'.

C. A. R. Hoare

Comput. J., 1972

Proof of Correctness of Data Representations.

C. A. R. Hoare

Acta Informatica, 1972

Program Proving: Jumps and Functions.

Maurice Clint, C. A. R. Hoare

Acta Informatica, 1972

An axiomatic definition of the programming language PASCAL.

C. A. R. Hoare

Proceedings of the International Sympoisum on Theoretical Programming, 1972

Structured programming.

Ole-Johan Dahl, Edsger W. Dijkstra, Charles Antony Richard Hoare

A.P.I.C. Studies in data processing 8, Academic Press, ISBN: 978-0-12-200550-3, 1972

1971

Procedures and parameters: An axiomatic approach.

C. A. R. Hoare

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

Proof of a Recursive Program: Quicksort.

M. Foley, C. A. R. Hoare

Comput. J., 1971

Proof of a Program: FIND.

C. A. R. Hoare

Commun. ACM, 1971

1969

An Axiomatic Basis for Computer Programming.

C. A. R. Hoare

Commun. ACM, 1969

1968

Data structures in two-level store.

C. A. R. Hoare

Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 1, 1968

1966

A contribution to the development of ALGOL.

Niklaus Wirth, C. A. R. Hoare

Commun. ACM, 1966

1964

Review: Book review: ALGOL on the KDF9.

C. A. R. Hoare

Comput. J., 1964

1963

The Elliott ALGOL input/output system.

C. A. R. Hoare

Comput. J., 1963

Book Reviews.

C. A. R. Hoare

Comput. J., 1963

1962

Report on the Elliott ALGOL Translator.

C. A. R. Hoare

Comput. J., 1962

Quicksort.

C. A. R. Hoare

Comput. J., 1962

1961

Algorithm 64: Quicksort.

C. A. R. Hoare

Commun. ACM, 1961

Algorithm 65: find.

C. A. R. Hoare

Commun. ACM, 1961

Algorithm 63: partition.

C. A. R. Hoare

Commun. ACM, 1961