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 | 518 | 2005 |
Proving pointer programs in Hoare logic R Bornat International Conference on Mathematics of Program Construction, 102-126, 2000 | 321 | 2000 |
Mental models, consistency and programming aptitude R Bornat, S Dehnadi, Simon Proceedings of the tenth conference on Australasian computing education …, 2008 | 132 | 2008 |
Cyclic proofs of program termination in separation logic J Brotherston, R Bornat, C Calcagno ACM SIGPLAN Notices 43 (1), 101-112, 2008 | 115 | 2008 |
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 | 100 | 2006 |
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 | 98 | 2007 |
Variables as resource in separation logic R Bornat, C Calcagno, H Yang Electronic Notes in Theoretical Computer Science 155, 247-276, 2006 | 91 | 2006 |
The camel has two humps S Dehnadi, R Bornat Little PPIG, 1-21, 2006 | 91 | 2006 |
Understanding and writing compilers: a do-it-yourself guide R Bornat Macmillan Publishing Co., Inc., 1990 | 76 | 1990 |
The camel has two humps (working title) S Dehnadi, R Bornat Middlesex University, UK, 1-21, 2006 | 65 | 2006 |
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 | 63 | 1984 |
Programming from first principles R Bornat Prentice Hall International (UK) Ltd., 1987 | 59 | 1987 |
Local reasoning, separation and aliasing R Bornat, C Calcagno, P O’Hearn Space 4, 2004 | 55 | 2004 |
A review of several programs for the teaching of logic D Goldson, S Reeves, R Bornat The Computer Journal 36 (4), 373-386, 1993 | 52 | 1993 |
Animating formal proof at the surface: the Jape proof calculator R Bornat, B Sufrin The Computer Journal 42 (3), 177-192, 1999 | 50 | 1999 |
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 | 38 | 2003 |
Meta-analysis of the effect of consistency on success in early learning of programming. S Dehnadi, R Bornat, R Adams PPIG, 3, 2009 | 36 | 2009 |
Jape: A calculator for animating proof-on-paper R Bornat, B Sufrin Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997 | 31 | 1997 |
Inter-process buffers in separation logic with rely-guarantee R Bornat, H Amjad Formal aspects of computing 22, 735-772, 2010 | 30 | 2010 |
Proof and disproof in formal logic: An introduction for programmers R Bornat OUP Oxford, 2005 | 25 | 2005 |