Richard Bornat

Available identifiers

Publication	Date of Publication	Type
Describing and animating quantum protocols	2024-10-01	Paper
Jape: a calculator for animating proof-on-paper	2019-10-01	Paper
Permission accounting in separation logic	2017-07-14	Paper
Explanation of two non-blocking shared-variable communication algorithms	2014-11-10	Paper
Modular verification of a non-blocking stack	2014-09-12	Paper
Cyclic proofs of program termination in separation logic	2014-09-12	Paper
Variables as resource in separation logic	2013-10-08	Paper
Inter-process buffers in separation logic with rely-guarantee	2010-12-17	Paper
Peter Landin: a computer scientist who inspired a generation	2010-11-12	Paper
Separation logic and concurrency	2010-04-23	Paper
Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009	2009-11-13	Paper
Towards Automatic Stability Analysis for Rely-Guarantee Proofs	2009-02-10	Paper
https://portal.mardi4nfdi.de/entity/Q5715108	2005-12-20	Paper
Program logic and equivalence in the presence of garbage collection.	2003-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q2721096	2001-07-01	Paper
Parallelizing imperative functional programs: The vectorization monad	1997-05-22	Paper
https://portal.mardi4nfdi.de/entity/Q3735074	1986-01-01	Paper
Using knowledge in the computer interpretation of handwritten FORTRAN coding sheets	1976-01-01	Paper

This page was built for person: Richard Bornat