C. A. R. Hoare

145 papers A* 7A 3B 11C 3Journal 70Unranked 40

Year	Rank	Type	Title / 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