BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
1 × Portugal
1 × Spain
1 × Switzerland
2 × France
3 × Germany
3 × United Kingdom
7 × USA
Collaborated with:
∅ J.He M.J.C.Gordon E.Olderog R.Kennaway S.Seres J.M.Spivey J.W.Sanders V.Vafeiadis M.Herlihy M.Shapiro C.Fournet S.K.Rajamani J.Rehof S.L.P.Jones A.Reid F.Henderson S.Marlow
Talks about:
softwar (4) program (3) verifi (3) research (2) challeng (2) without (2) reliabl (2) correct (2) concurr (2) algebra (2)

Person: Charles Antony Richard Hoare

DBLP DBLP: Hoare:Charles_Antony_Richard

Facilitated 1 volumes:

VDM Europe 1990Ed

Contributed to:

PLDI 20142014
CAV 20062006
PPoPP 20062006
VMCAI 20052005
CAV 20042004
CC 20032003
TOOLS Europe 20012001
IFM 20002000
ECOOP 19991999
World Congress on Formal Methods 19991999
ICLP 19991999
PLDI 19991999
FME 19961996
ICSE 19961996
FSE 19931993
LICS 19881988
ESOP 19861986
ICALP 19831983
ICALP 19801980
ICSE 19781978

Wrote 20 papers:

PLDI-2014-Hoare #concurrent #programming
Laws of concurrent programming (CARH), p. 20.
CAV-2006-Hoare
The Ideal of Verified Software (CARH), pp. 5–16.
PPoPP-2006-VafeiadisHHS #correctness #proving
Proving correctness of highly-concurrent linearisable objects (VV, MH, CARH, MS), pp. 129–136.
VMCAI-2005-Hoare #challenge #compilation #research #verification
The Verifying Compiler, a Grand Challenge for Computing Research (CARH), p. 78.
CAV-2004-FournetHRR #consistency
Stuck-Free Conformance (CF, CARH, SKR, JR), pp. 242–254.
CC-2003-Hoare #challenge #compilation #research #verification
The Verifying Compiler: A Grand Challenge for Computing Research (CARH), pp. 262–272.
TOOLS-EUROPE-2001-Hoare #using
Growing Use of Assertions (CARH), p. 3.
IFM-2000-Hoare
Assertions (CARH), pp. 1–2.
ECOOP-1999-HoareJ #pointer
A Trace Model for Pointers and Objects (CARH, JH), pp. 1–17.
FM-v1-1999-Hoare #bottom-up #programming #top-down
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle (CARH), pp. 1–27.
ICLP-1999-SeresSH #algebra #logic programming
Algebra of Logic Programming (SS, JMS, CARH), pp. 184–199.
PLDI-1999-JonesRHHM #exception #semantics
A Semantics for Imprecise Exceptions (SLPJ, AR, FH, CARH, SM), pp. 25–36.
FME-1996-Hoare #how #proving #question #reliability
How Did Software Get So Reliable Without Proof? (CARH), pp. 1–17.
ICSE-1996-Hoare #how #proving #question #reliability
The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (CARH), pp. 233–234.
FSE-1993-Hoare #algebra #modelling
Algebra and Models (CARH), pp. 1–8.
LICS-1988-HoareG #correctness #logic
Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic (CARH, MJCG), pp. 28–36.
ESOP-1986-HeHS #refinement
Data Refinement Refined (JH, CARH, JWS), pp. 187–196.
ICALP-1983-OlderogH #communication #process #semantics
Specification-Oriented Semantics for Communicating Processes (ERO, CARH), pp. 561–572.
ICALP-1980-KennawayH #formal method #nondeterminism
A Theory of Nondeterminism (RK, CARH), pp. 338–350.
ICSE-1978-Hoare #re-engineering
Software Engineering: A Keynote Address (CARH), pp. 1–4.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.