Richard Bornat

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