Richard Bornat
Richard Bornat
Professor of Computer Programming, Middlesex University
E-mail confirmado em bornat.me.uk
Título
Citado por
Citado por
Ano
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
4272005
Proving pointer programs in Hoare logic
R Bornat
International Conference on Mathematics of Program Construction, 102-126, 2000
2962000
Mental models, consistency and programming aptitude
R Bornat, S Dehnadi
Proceedings of the tenth conference on Australasian computing education …, 2008
1072008
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
932006
Cyclic proofs of program termination in separation logic
J Brotherston, R Bornat, C Calcagno
ACM SIGPLAN Notices 43 (1), 101-112, 2008
912008
Variables as resource in separation logic
R Bornat, C Calcagno, H Yang
Electronic Notes in Theoretical Computer Science 155, 247-276, 2006
872006
The camel has two humps
S Dehnadi, R Bornat
Little PPIG, 1-21, 2006
852006
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
792007
Understanding and writing compilers: a do-it-yourself guide
R Bornat
Macmillan International Higher Education, 1979
741979
The camel has two humps (working title)
S Dehnadi, R Bornat
Middlesex University, UK, 1-21, 2006
542006
Programming from first principles
R Bernat
Prentice Hall International (UK) Ltd., 1986
521986
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
521984
Local reasoning, separation and aliasing
R Bornat, C Calcagno, P O’Hearn
Space 4, 2004
512004
Animating formal proof at the surface: the Jape proof calculator
R Bornat, B Sufrin
The Computer Journal 42 (3), 177-192, 1999
451999
A review of several programs for the teaching of logic
D Goldson, S Reeves, R Bornat
The Computer Journal 36 (4), 373-386, 1993
441993
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
352003
Meta-analysis of the effect of consistency on success in early learning of programming.
S Dehnadi, R Bornat, R Adams
PPIG, 3, 2009
322009
Jape: A calculator for animating proof-on-paper
R Bornat, B Sufrin
International Conference on Automated Deduction, 412-415, 1997
271997
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
oxford, 2005
212005
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20