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
4592005
Proving pointer programs in Hoare logic
R Bornat
International Conference on Mathematics of Program Construction, 102-126, 2000
3072000
Mental models, consistency and programming aptitude
R Bornat, S Dehnadi
Proceedings of the tenth conference on Australasian computing education …, 2008
1102008
Cyclic proofs of program termination in separation logic
J Brotherston, R Bornat, C Calcagno
ACM SIGPLAN Notices 43 (1), 101-112, 2008
982008
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
962006
Variables as resource in separation logic
R Bornat, C Calcagno, H Yang
Electronic Notes in Theoretical Computer Science 155, 247-276, 2006
882006
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
852007
The camel has two humps
S Dehnadi, R Bornat
Little PPIG, 1-21, 2006
832006
Understanding and writing compilers: a do-it-yourself guide
R Bornat
Macmillan International Higher Education, 1979
701979
The camel has two humps (working title)
S Dehnadi, R Bornat
Middlesex University, UK, 1-21, 2006
572006
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
561984
Programming from first principles
R Bornat
Prentice Hall International (UK) Ltd., 1987
531987
Local reasoning, separation and aliasing
R Bornat, C Calcagno, P O’Hearn
Space 4, 2004
492004
A review of several programs for the teaching of logic
D Goldson, S Reeves, R Bornat
The Computer Journal 36 (4), 373-386, 1993
491993
Animating formal proof at the surface: the Jape proof calculator
R Bornat, B Sufrin
The Computer Journal 42 (3), 177-192, 1999
471999
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
362003
Meta-analysis of the effect of consistency on success in early learning of programming.
S Dehnadi, R Bornat, R Adams
PPIG, 3, 2009
342009
Jape: A calculator for animating proof-on-paper
R Bornat, B Sufrin
International Conference on Automated Deduction, 412-415, 1997
291997
Inter-process buffers in separation logic with rely-guarantee
R Bornat, H Amjad
Formal aspects of computing 22 (6), 735-772, 2010
262010
Proof and disproof in formal logic: An introduction for programmers
R Bornat
222005
The system can't perform the operation now. Try again later.
Articles 1–20