Richard Bornat

Publication Activity (10 Years)

Years Active: 1976-2020
Publications (10 Years): 2

Top Topics

Novice Programmers

Programming Environment

Top Venues

Formal Aspects Comput.

Publications

Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan
Describing and Simulating Concurrent Quantum Systems. TACAS (2) (2020)
Richard Bornat, Jade Alglave, Matthew J. Parkinson
New Lace and Arsenic: adventures in weak memory with a program logic. CoRR (2015)
Richard Bornat, Hasan Amjad
Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects Comput. 25 (6) (2013)
Richard Bornat, Saeed Dehnadi, David Barton
Observing Mental Models in Novice Programmers. PPIG (2012)
Richard Bornat, Hasan Amjad
Inter-process buffers in separation logic with rely-guarantee. Formal Aspects Comput. 22 (6) (2010)
Hasan Amjad, Richard Bornat
Towards Automatic Stability Analysis for Rely-Guarantee Proofs. VMCAI (2009)
Richard Bornat
Peter Landin: a computer scientist who inspired a generation. High. Order Symb. Comput. 22 (4) (2009)
Richard Bornat
Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009. Formal Aspects Comput. 21 (5) (2009)
Saeed Dehnadi, Richard Bornat, Ray Adams
Meta-analysis of the effect of consistency on success in early learning of programming. PPIG (2009)
James Brotherston, Richard Bornat, Cristiano Calcagno
Cyclic proofs of program termination in separation logic. POPL (2008)
Hasan Amjad, Richard Bornat
Model Checking for Stability Analysis in Rely-Guarantee Proofs. VERIFY (2008)
Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn
Modular verification of a non-blocking stack. POPL (2007)
Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno
Variables as Resource in Hoare Logics. LICS (2006)
Richard Bornat, Cristiano Calcagno, Hongseok Yang
Variables as Resource in Separation Logic. MFPS (2005)
Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson
Permission accounting in separation logic. POPL (2005)
Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat
Program logic and equivalence in the presence of garbage collection. Theor. Comput. Sci. 298 (3) (2003)
James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin
Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms. Br. J. Educ. Technol. 34 (5) (2003)
Richard Bornat
Proving Pointer Programs in Hoare Logic. MPC (2000)
Richard Bornat, Bernard Sufrin
A Minimal Graphical User Interface for the Jape Proof Calculator. Formal Aspects Comput. 11 (3) (1999)
Richard Bornat, Bernard Sufrin
Animating Formal Proof at the Surface: The Jape Proof Calculator. Comput. J. 42 (3) (1999)
James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin
Computer science undergraduates learning logic using a proof editor: work in progress. PPIG (1999)
Richard Bornat, Bernard Sufrin
Jape: A Calculator for Animating Proof-on-Paper. CADE (1997)
Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat
Parallelizing Imperative Functional Programs: the Vectorization Monad. J. Symb. Comput. 21 (4) (1996)
Pat Fung, Tim O'Shea, Doug Goldson, Steve Reeves, Richard Bornat
Computer tools to teach formal reasoning. Comput. Educ. 27 (1) (1996)
Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat
The Vectorisation Monad. PASCO (1994)
Doug Goldson, Steve Reeves, Richard Bornat
A Review of Several Programs for the Teaching of Logic. Comput. J. 36 (4) (1993)
Pat Fung, Pamela O'Shea, Richard Bornat, Steve Reeves, Doug Goldson
Fear of Formal Reasoning. PPIG (2) (1992)
Tim O'Shea, Pat Fung, Richard Bornat, Steve Reeves, Doug Goldson
Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods. PPIG (1) (1992)
Richard Bornat
A Protocol for Generalized occam. Softw. Pract. Exp. 16 (9) (1986)
Richard Bornat, J. Michael Brady
Finding Blobs of Writing in the FORTRAN Coding-Sheets Project. AISB (ECAI) (1976)
Richard Bornat
Reasoning about Hand Prinited FORTRAN Programs. AISB (ECAI) (1976)
Richard Bornat, Bob J. Wielinga
Does AI Programming really have to be like knitting with Spaghetti? AISB (ECAI) (1976)