Richard Bornat

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Describing and animating quantum protocols	2024-10-01	Paper
Jape: a calculator for animating proof-on-paper Automated Deduction—CADE-14	2019-10-01	Paper
Permission accounting in separation logic Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-07-14	Paper
Explanation of two non-blocking shared-variable communication algorithms Formal Aspects of Computing	2014-11-10	Paper
Modular verification of a non-blocking stack Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
Cyclic proofs of program termination in separation logic Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
Variables as resource in separation logic	2013-10-08	Paper
Inter-process buffers in separation logic with rely-guarantee Formal Aspects of Computing	2010-12-17	Paper
Peter Landin: a computer scientist who inspired a generation Higher-Order and Symbolic Computation	2010-11-12	Paper
Separation logic and concurrency Formal Methods: State of the Art and New Directions	2010-04-23	Paper
Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009 Formal Aspects of Computing	2009-11-13	Paper
Towards Automatic Stability Analysis for Rely-Guarantee Proofs Lecture Notes in Computer Science	2009-02-10	Paper
scientific article; zbMATH DE number 2239771 (Why is no real title available?)	2005-12-20	Paper
Program logic and equivalence in the presence of garbage collection. Theoretical Computer Science	2003-05-25	Paper
scientific article; zbMATH DE number 1612488 (Why is no real title available?)	2001-07-01	Paper
Parallelizing imperative functional programs: The vectorization monad Journal of Symbolic Computation	1997-05-22	Paper
scientific article; zbMATH DE number 3967907 (Why is no real title available?)	1986-01-01	Paper
Using knowledge in the computer interpretation of handwritten FORTRAN coding sheets International Journal of Man-Machine Studies	1976-01-01	Paper

Research outcomes over time

This page was built for person: Richard Bornat