Search results for "Tony Hoare"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tony Hoare	Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award.	POPL	2012	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman	Concurrent Kleene Algebra and its Foundations.	J. Log. Algebr. Program.	2011	DBLP DOI BibTeX RDF
1	Manfred Broy, Christian Leuxner, Tony Hoare (eds.)	Software and Systems Safety - Specification and Verification		2011	DBLP DOI BibTeX RDF
1	Tony Hoare, John Wickerson	Unifying Models of Data Flow.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
1	Tony Hoare	Recovery Blocks.	Dependable and Historic Computing	2011	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare	Differential static analysis: opportunities, applications, and challenges.	FoSER	2010	DBLP DOI BibTeX RDF
1	Tony Hoare	Fine-grain concurrency.	Concurrency and Computation: Practice and Experience	2010	DBLP DOI BibTeX RDF
1	Jifeng He, Tony Hoare	CSP is a retract of CCS.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Tony Hoare	Testing and Proving, Hand-in-Hand.	TAIC PART	2010	DBLP DOI BibTeX RDF
1	Tony Hoare, Natarajan Shankar	Unraveling a Card Trick.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn	Graphical models of separation logic.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Viewpoint - Retrospective: an axiomatic basis for computer programming.	Commun. ACM	2009	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Jayadev Misra	Preface to special issue on software verification.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar	The verified software initiative: A manifesto.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman	Concurrent Kleene Algebra.	CONCUR	2009	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman	Foundations of Concurrent Kleene Algebra.	RelMiCS	2009	DBLP DOI BibTeX RDF
1	Tony Hoare, Peter W. O'Hearn	Separation Logic Semantics for Communicating Processes.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Tony Hoare	Verification of Fine-grain Concurrent Programs.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Tony Hoare	Keynote: A Vision for the Science of Computing.	BCS Int. Acad. Conf.	2008	DBLP BibTeX RDF
1	Tony Hoare	Fine-Grain Concurrency.	LASER Summer School	2008	DBLP DOI BibTeX RDF
1	Tony Hoare	Compensable Transactions.	LASER Summer School	2008	DBLP DOI BibTeX RDF
1	Tony Hoare	Verified Software: Theories, Tools, Experiments.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Tony Hoare	The Ideal of Program Correctness: Third Computer Journal Lecture.	Comput. J.	2007	DBLP DOI BibTeX RDF
1	Tony Hoare	Science and Engineering: A Collusion of Cultures.	DSN	2007	DBLP DOI BibTeX RDF
1	Tony Hoare	Fine-grain Concurrency.	CPA	2007	DBLP BibTeX RDF
1	Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock	The verified software repository: a step towards the verifying compiler.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning
1	Jifeng He, C. A. R. Hoare	CSP Is a Retract of CCS.	UTP	2006	DBLP DOI BibTeX RDF
1	Tony Hoare	Why ever CSP?	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	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 Intelligent Systems	2006	DBLP DOI BibTeX RDF	deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories
1	Tony Hoare	The Ideal of Verified Software.	CAV	2006	DBLP DOI BibTeX RDF
1	Tony Hoare	The ideal of verified software.	ACL2	2006	DBLP DOI BibTeX RDF
1	Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro	Proving correctness of highly-concurrent linearisable objects.	PPOPP	2006	DBLP DOI BibTeX RDF	rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
1	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	DBLP DOI BibTeX RDF
1	Jifeng He, C. A. R. Hoare	Linking Theories of Concurrency.	ICTAC	2005	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	The Verifying Compiler, a Grand Challenge for Computing Research.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Tony Hoare, Robin Milner	Grand Challenges for Computing Research.	Comput. J.	2005	DBLP DOI BibTeX RDF
1	Tony Hoare, Jayadev Misra	Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.	VSTTE	2005	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Towards the Verifying Compiler.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Process Algebra: A Unifying Approach.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Michael J. Butler, C. A. R. Hoare, Carla Ferreira	A Trace Semantics for Long-Running Transactions.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof	Stuck-Free Conformance.	CAV	2004	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	The verifying compiler: A grand challenge for computing research.	J. ACM	2003	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Assertions: A Personal Perspective.	IEEE Annals of the History of Computing	2003	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	The Verifying Compiler: A Grand Challenge for Computing Research.	Euro-Par	2003	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	The Verifying Compiler: A Grand Challenge for Computing Research.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	The Verifying Compiler: A Grand Challenge for Computing Research.	CC	2003	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	The Verifying Compiler: A Grand Challange for Computing Research.	JMLC	2003	DBLP DOI BibTeX RDF
1	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	2002	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Assertions in Programming: From Scientific Theory to Engineering Practice.	Soft-Ware	2002	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Assertions in Modern Software Engineering Practice.	COMPSAC	2002	DBLP BibTeX RDF
1	C. A. R. Hoare	Towards the Verifying Compiler.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Legacy.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Growing Use of Assertions.	TOOLS	2001	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	A Hard Act to Follow.	Higher-Order and Symbolic Computation	2000	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Legacy Code. (PDF / PS)	ICFEM	2000	DBLP DOI BibTeX RDF
1	Jifeng He, C. A. R. Hoare	Unifying theories of healthiness condition.	APSEC	2000	DBLP DOI BibTeX RDF	healthiness condition theory, programming notations, nondeterministic programming, probabilistic program, formal specifications, parallel programming, logic programming, programming languages, algebraic specification, programming theory, programming theory, Boolean algebra, Boolean algebra, sequential programming, design optimisation, algebraic laws
1	C. A. R. Hoare	Assertions.	IFM	2000	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Jifeng He, Augusto Sampaio	Algebraic derivation of an operational semantics.	Proof, Language, and Interaction	2000	DBLP BibTeX RDF
1	Jifeng He, C. A. R. Hoare	Linking Theories in Probabilistic Programming.	Inf. Sci.	1999	DBLP DOI BibTeX RDF
1	Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow	A Semantics for Imprecise Exceptions.	PLDI	1999	DBLP DOI BibTeX RDF	Haskell
1	Silvija Seres, J. Michael Spivey, C. A. R. Hoare	Algebra of Logic Programming.	ICLP	1999	DBLP BibTeX RDF
1	C. A. R. Hoare	Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.	Correct System Design	1999	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Jifeng He	A Trace Model for Pointers and Objects.	ECOOP	1999	DBLP DOI BibTeX RDF
1	Jifeng He, C. A. R. Hoare	Unifying theories of programming.	RelMiCS	1998	DBLP BibTeX RDF
1	C. A. R. Hoare, Jifeng He	Unifying Theories for Parallel Programming.	Euro-Par	1997	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	The logic of engineering design.	Microprocessing and Microprogramming	1996	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Unifying Theories : A Personal Statement.	ACM Comput. Surv.	1996	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	How Did Software Get So Reliable Without Proof?	FME	1996	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Mathematical models for computing science.	NATO ASI DPD	1996	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Burghard von Karger, C. A. R. Hoare	Sequential Calculus.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Unification of Theories: A Challenge for Computing Science.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Editorial.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Ian Page	Hardware and Software: The Closing Gap.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Jifeng He, C. A. R. Hoare	From Algebra to Operational Semantics.	Inf. Process. Lett.	1993	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Jifeng He, Augusto Sampaio	Normal Form Approach to Compiler Design.	Acta Inf.	1993	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Algebra and Models.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF
1	Zhou Chaochen, C. A. R. Hoare	A Model for Synchronous Switching Circuits and its Theory of Correctness.	Formal Methods in System Design	1992	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Programs are Predicates.	FGCS	1992	DBLP BibTeX RDF
1	C. A. R. Hoare	The transputer and occam: A personal story.	Concurrency - Practice and Experience	1991	DBLP DOI BibTeX RDF
1	Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn	A Calculus of Durations.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	A Theory for the Derivation of Combinational C-MOS Circuit Designs.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
1	C. E. Martin, C. A. R. Hoare, Jifeng He	Pre-Adjunctions in Order Enriched Categories.	Mathematical Structures in Computer Science	1991	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Fixed Points of Increasing Functions.	Inf. Process. Lett.	1990	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	Let's Make Models (Abstract).	CONCUR	1990	DBLP DOI BibTeX RDF
1	Dines Bjørner, C. A. R. Hoare, Hans Langmaack (eds.)	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	1990	DBLP BibTeX RDF
1	C. A. R. Hoare	A Theory of Conjunction and Concurrency.	PARBASE / Architectures	1990	DBLP BibTeX RDF
1	Jifeng He, C. A. R. Hoare	Categorical Semantics for Programming Languages.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	The Varieties of Programming Language.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
1	A. W. Roscoe, C. A. R. Hoare	The Laws of Occam Programming.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Michael J. C. Gordon	Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic	LICS	1988	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Jifeng He, Jeff W. Sanders	Prespecification in Data Refinement.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
1	C. A. R. Hoare, Jifeng He	The Weakest Prespecification.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
1	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	1987	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	An Overview of Some Formal Methods for Program Design.	IEEE Computer	1987	DBLP DOI BibTeX RDF
1	Jifeng He, C. A. R. Hoare	Algebraic Specification and Proof of a Distributed Recovery Algorithm.	Distributed Computing	1987	DBLP DOI BibTeX RDF
1	Ernst-Rüdiger Olderog, C. A. R. Hoare	Specification-Oriented Semantics for Communicating Processes.	Acta Inf.	1986	DBLP DOI BibTeX RDF

Publications of Tony Hoare C. A. R. Hoare ( http://dblp.L3S.de/Authors/Tony_Hoare )