Richard Bornat

According to our database, Richard Bornat authored at least 32 papers between 1976 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Describing and Simulating Concurrent Quantum Systems.

Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2015

New Lace and Arsenic: adventures in weak memory with a program logic.

Richard Bornat, Jade Alglave, Matthew J. Parkinson

CoRR, 2015

2013

Explanation of two non-blocking shared-variable communication algorithms.

Richard Bornat, Hasan Amjad

Formal Aspects Comput., 2013

2012

Observing Mental Models in Novice Programmers.

Richard Bornat, Saeed Dehnadi, David Barton

Proceedings of the 24th Annual Workshop of the Psychology of Programming Interest Group, 2012

2010

Inter-process buffers in separation logic with rely-guarantee.

Richard Bornat, Hasan Amjad

Formal Aspects Comput., 2010

2009

Peter Landin: a computer scientist who inspired a generation.

Richard Bornat

High. Order Symb. Comput., 2009

Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009.

Richard Bornat

Formal Aspects Comput., 2009

Towards Automatic Stability Analysis for Rely-Guarantee Proofs.

Hasan Amjad, Richard Bornat

Proceedings of the Verification, 2009

Meta-analysis of the effect of consistency on success in early learning of programming.

Saeed Dehnadi, Richard Bornat, Ray Adams

Proceedings of the 21st Annual Workshop of the Psychology of Programming Interest Group, 2009

2008

Cyclic proofs of program termination in separation logic.

James Brotherston, Richard Bornat, Cristiano Calcagno

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Model Checking for Stability Analysis in Rely-Guarantee Proofs.

Hasan Amjad, Richard Bornat

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2007

Modular verification of a non-blocking stack.

Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Variables as Resource in Hoare Logics.

Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2005

Variables as Resource in Separation Logic.

Richard Bornat, Cristiano Calcagno, Hongseok Yang

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Permission accounting in separation logic.

Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2003

Program logic and equivalence in the presence of garbage collection.

Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat

Theor. Comput. Sci., 2003

Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms.

James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin

Br. J. Educ. Technol., 2003

2000

Proving Pointer Programs in Hoare Logic.

Richard Bornat

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

1999

A Minimal Graphical User Interface for the Jape Proof Calculator.

Richard Bornat, Bernard Sufrin

Formal Aspects Comput., 1999

Animating Formal Proof at the Surface: The Jape Proof Calculator.

Richard Bornat, Bernard Sufrin

Comput. J., 1999

Computer science undergraduates learning logic using a proof editor: work in progress.

James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin

Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, 1999

1997

Jape: A Calculator for Animating Proof-on-Paper.

Richard Bornat, Bernard Sufrin

Proceedings of the Automated Deduction, 1997

1996

Parallelizing Imperative Functional Programs: the Vectorization Monad.

Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat

J. Symb. Comput., 1996

Computer tools to teach formal reasoning.

Pat Fung, Tim O'Shea, Doug Goldson, Steve Reeves, Richard Bornat

Comput. Educ., 1996

1994

The Vectorisation Monad.

Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

1993

A Review of Several Programs for the Teaching of Logic.

Doug Goldson, Steve Reeves, Richard Bornat

Comput. J., 1993

1992

Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods.

Tim O'Shea, Pat Fung, Richard Bornat, Steve Reeves, Doug Goldson

Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, 1992

Fear of Formal Reasoning.

Pat Fung, Pamela O'Shea, Richard Bornat, Steve Reeves, Doug Goldson

Proceedings of the 5th Annual Workshop of the Psychology of Programming Interest Group, 1992

1986

A Protocol for Generalized occam.

Richard Bornat

Softw. Pract. Exp., 1986

1976

Does AI Programming really have to be like knitting with Spaghetti?

Richard Bornat, Bob J. Wielinga

Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976

Finding Blobs of Writing in the FORTRAN Coding-Sheets Project.

Richard Bornat, J. Michael Brady

Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976

Reasoning about Hand Prinited FORTRAN Programs.

Richard Bornat

Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976