Richard Bornat

2009
18	EE	Hasan Amjad, Richard Bornat: Towards Automatic Stability Analysis for Rely-Guarantee Proofs. VMCAI 2009: 14-28
2008
17	EE	James Brotherston, Richard Bornat, Cristiano Calcagno: Cyclic proofs of program termination in separation logic. POPL 2008: 101-112
16	EE	Hasan Amjad, Richard Bornat: Model Checking for Stability Analysis in Rely-Guarantee Proofs. VERIFY 2008
2007
15	EE	Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn: Modular verification of a non-blocking stack. POPL 2007: 297-302
2006
14	EE	Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno: Variables as Resource in Hoare Logics. LICS 2006: 137-146
13	EE	Richard Bornat, Cristiano Calcagno, Hongseok Yang: Variables as Resource in Separation Logic. Electr. Notes Theor. Comput. Sci. 155: 247-276 (2006)
2005
12	EE	Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson: Permission accounting in separation logic. POPL 2005: 259-270
2003
11	EE	Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat: Program logic and equivalence in the presence of garbage collection. Theor. Comput. Sci. 3(298): 557-581 (2003)
2000
10		Richard Bornat: Proving Pointer Programs in Hoare Logic. MPC 2000: 102-126
1999
9		Richard Bornat, Bernard Sufrin: Animating Formal Proof at the Surface: The Jape Proof Calculator. Comput. J. 42(3): 177-192 (1999)
8	EE	Richard Bornat, Bernard Sufrin: A Minimal Graphical User Interface for the Jape Proof Calculator. Formal Asp. Comput. 11(3): 244-271 (1999)
1997
7		Richard Bornat, Bernard Sufrin: Jape: A Calculator for Animating Proof-on-Paper. CADE 1997: 412-415
1996
6		Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat: Parallelizing Imperative Functional Programs: the Vectorization Monad. J. Symb. Comput. 21(4): 561-576 (1996)
1993
5		Doug Goldson, Steve Reeves, Richard Bornat: A Review of Several Programs for the Teaching of Logic. Comput. J. 36(4): 373-386 (1993)
1986
4		Richard Bornat: A Protocol for Generalized occam. Softw., Pract. Exper. 16(9): 783-799 (1986)
1976
3		Richard Bornat: Reasoning about Hand Prinited FORTRAN Programs. AISB (ECAI) 1976: 38-46
2		Richard Bornat, Michael Brady: Finding Blobs of Writing in the FORTRAN Coding-Sheets Project. AISB (ECAI) 1976: 47-55
1		Richard Bornat, Bob J. Wielinga: Does AI Programming really have to be like knitting with Spaghetti? AISB (ECAI) 1976: 56-62

Coauthor Index

1	Hasan Amjad	[16] [18]
2	Michael Brady (J. Michael Brady)	[2]
3	James Brotherston	[17]
4	Cristiano Calcagno	[11] [12] [13] [14] [17]
5	Keith M. Clarke	[6]
6	Doug Goldson	[5]
7	Jonathan M. D. Hill	[6]
8	Peter W. O'Hearn	[11] [12] [15]
9	Matthew J. Parkinson	[12] [14] [15]
10	Steve Reeves	[5]
11	Bernard Sufrin	[7] [8] [9]
12	Bob J. Wielinga	[1]
13	Hongseok Yang	[13]

Colors in the list of coauthors