| 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 | 446 | 2005 |
| Proving pointer programs in Hoare logic R Bornat International Conference on Mathematics of Program Construction, 102-126, 2000 | 304 | 2000 |
| Mental models, consistency and programming aptitude R Bornat, S Dehnadi Proceedings of the tenth conference on Australasian computing education …, 2008 | 106 | 2008 |
| Cyclic proofs of program termination in separation logic J Brotherston, R Bornat, C Calcagno ACM SIGPLAN Notices 43 (1), 101-112, 2008 | 94 | 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 | 94 | 2006 |
| Variables as resource in separation logic R Bornat, C Calcagno, H Yang Electronic Notes in Theoretical Computer Science 155, 247-276, 2006 | 87 | 2006 |
| The camel has two humps S Dehnadi, R Bornat Little PPIG, 1-21, 2006 | 84 | 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 | 82 | 2007 |
| Understanding and writing compilers: a do-it-yourself guide R Bornat Macmillan International Higher Education, 1979 | 67 | 1979 |
| The camel has two humps (working title) S Dehnadi, R Bornat Middlesex University, UK, 1-21, 2006 | 55 | 2006 |
| Programming from first principles R Bornat Prentice Hall International (UK) Ltd., 1987 | 53 | 1987 |
| 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 | 53 | 1984 |
| Local reasoning, separation and aliasing R Bornat, C Calcagno, P O’Hearn Space 4, 2004 | 49 | 2004 |
| Animating formal proof at the surface: the Jape proof calculator R Bornat, B Sufrin The Computer Journal 42 (3), 177-192, 1999 | 46 | 1999 |
| A review of several programs for the teaching of logic D Goldson, S Reeves, R Bornat The Computer Journal 36 (4), 373-386, 1993 | 46 | 1993 |
| 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 | 37 | 2003 |
| Meta-analysis of the effect of consistency on success in early learning of programming. S Dehnadi, R Bornat, R Adams PPIG, 3, 2009 | 35 | 2009 |
| Jape: A calculator for animating proof-on-paper R Bornat, B Sufrin International Conference on Automated Deduction, 412-415, 1997 | 27 | 1997 |
| Inter-process buffers in separation logic with rely-guarantee R Bornat, H Amjad Formal aspects of computing 22 (6), 735-772, 2010 | 26 | 2010 |
| Jape's quiet interface R Bornat, B Sufrin | 23 | 1996 |
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
