Follow
Richard Bornat
Richard Bornat
Professor of Computer Programming, Middlesex University
Verified email at bornat.me.uk
Title
Cited by
Cited by
Year
Permission accounting in separation logic
R Bornat, C Calcagno, P O'Hearn, M Parkinson
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
5142005
Proving pointer programs in Hoare logic
R Bornat
International Conference on Mathematics of Program Construction, 102-126, 2000
3202000
Mental models, consistency and programming aptitude
R Bornat, S Dehnadi, Simon
Proceedings of the tenth conference on Australasian computing education …, 2008
1322008
Cyclic proofs of program termination in separation logic
J Brotherston, R Bornat, C Calcagno
ACM SIGPLAN Notices 43 (1), 101-112, 2008
1122008
Variables as resource in Hoare logics
M Parkinson, R Bornat, C Calcagno
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 137-146, 2006
1002006
Modular verification of a non-blocking stack
M Parkinson, R Bornat, P O'Hearn
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
972007
Variables as resource in separation logic
R Bornat, C Calcagno, H Yang
Electronic Notes in Theoretical Computer Science 155, 247-276, 2006
912006
The camel has two humps
S Dehnadi, R Bornat
Little PPIG, 1-21, 2006
902006
Understanding and writing compilers: a do-it-yourself guide
R Bornat
Macmillan Publishing Co., Inc., 1990
761990
The camel has two humps (working title)
S Dehnadi, R Bornat
Middlesex University, UK, 1-21, 2006
652006
Tools for creating intelligent computer tutors
T O'Shea, R Bornat, B Du Boulay, M Eisenstadt, I Page
Proc. of the international NATO symposium on Artificial and human …, 1984
631984
Programming from first principles
R Bornat
Prentice Hall International (UK) Ltd., 1987
581987
Local reasoning, separation and aliasing
R Bornat, C Calcagno, P O’Hearn
Space 4, 2004
552004
A review of several programs for the teaching of logic
D Goldson, S Reeves, R Bornat
The Computer Journal 36 (4), 373-386, 1993
511993
Animating formal proof at the surface: the Jape proof calculator
R Bornat, B Sufrin
The Computer Journal 42 (3), 177-192, 1999
501999
Program logic and equivalence in the presence of garbage collection
C Calcagno, P O'Hearn, R Bornat
Theoretical Computer Science 298 (3), 557-581, 2003
382003
Meta-analysis of the effect of consistency on success in early learning of programming.
S Dehnadi, R Bornat, R Adams
PPIG, 3, 2009
362009
Jape: A calculator for animating proof-on-paper
R Bornat, B Sufrin
Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997
311997
Inter-process buffers in separation logic with rely-guarantee
R Bornat, H Amjad
Formal aspects of computing 22, 735-772, 2010
302010
Proof and disproof in formal logic: An introduction for programmers
R Bornat
OUP Oxford, 2005
252005
The system can't perform the operation now. Try again later.
Articles 1–20