Suivre
Richard Bornat
Richard Bornat
Professor of Computer Programming, Middlesex University
Adresse e-mail validée de bornat.me.uk
Titre
Citée par
Citée par
Année
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
5152005
Proving pointer programs in Hoare logic
R Bornat
International Conference on Mathematics of Program Construction, 102-126, 2000
3232000
Mental models, consistency and programming aptitude
R Bornat, S Dehnadi, Simon
Proceedings of the tenth conference on Australasian computing education …, 2008
1312008
Cyclic proofs of program termination in separation logic
J Brotherston, R Bornat, C Calcagno
ACM SIGPLAN Notices 43 (1), 101-112, 2008
1142008
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
952007
Variables as resource in separation logic
R Bornat, C Calcagno, H Yang
Electronic Notes in Theoretical Computer Science 155, 247-276, 2006
922006
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
801990
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
651984
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
352009
Jape: A calculator for animating proof-on-paper
R Bornat, B Sufrin
Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997
301997
Inter-process buffers in separation logic with rely-guarantee
R Bornat, H Amjad
Formal Aspects of Computing 22, 735-772, 2010
292010
Proof and disproof in formal logic: An introduction for programmers
R Bornat
OUP Oxford, 2005
252005
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20