BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
4 × USA
Collaborated with:
C.Calcagno M.J.Parkinson P.W.O'Hearn H.Amjad B.Sufrin J.Brotherston
Talks about:
proof (3) logic (3) separ (2) guarante (1) variabl (1) resourc (1) program (1) permiss (1) modular (1) automat (1)

Person: Richard Bornat

DBLP DBLP: Bornat:Richard

Contributed to:

VMCAI 20092009
POPL 20082008
POPL 20072007
LICS 20062006
POPL 20052005
CADE 19971997

Wrote 6 papers:

VMCAI-2009-AmjadB #analysis #automation #proving #towards
Towards Automatic Stability Analysis for Rely-Guarantee Proofs (HA, RB), pp. 14–28.
POPL-2008-BrotherstonBC #logic #proving #termination
Cyclic proofs of program termination in separation logic (JB, RB, CC), pp. 101–112.
POPL-2007-ParkinsonBO #composition #stack #verification
Modular verification of a non-blocking stack (MJP, RB, PWO), pp. 297–302.
LICS-2006-ParkinsonBC #hoare #logic
Variables as Resource in Hoare Logics (MJP, RB, CC), pp. 137–146.
POPL-2005-BornatCOP #logic
Permission accounting in separation logic (RB, CC, PWO, MJP), pp. 259–270.
CADE-1997-BornatS #named
Jape: A Calculator for Animating Proof-on-Paper (RB, BS), pp. 412–415.

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.