The following pages link to Richard Bornat (Q469350):
Displayed 17 items.
- Explanation of two non-blocking shared-variable communication algorithms (Q469352) (← links)
- Peter Landin: a computer scientist who inspired a generation (Q604855) (← links)
- Inter-process buffers in separation logic with rely-guarantee (Q613139) (← links)
- Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009 (Q1037246) (← links)
- Program logic and equivalence in the presence of garbage collection. (Q1874283) (← links)
- Parallelizing imperative functional programs: The vectorization monad (Q2365129) (← links)
- (Q2721096) (← links)
- (Q2852352) (← links)
- Modular verification of a non-blocking stack (Q3189809) (← links)
- Cyclic proofs of program termination in separation logic (Q3189830) (← links)
- Separation Logic and Concurrency (Q3557673) (← links)
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs (Q3600463) (← links)
- (Q3735074) (← links)
- Using knowledge in the computer interpretation of handwritten FORTRAN coding sheets (Q4093035) (← links)
- Jape: A calculator for animating proof-on-paper (Q5234722) (← links)
- Permission accounting in separation logic (Q5276151) (← links)
- (Q5715108) (← links)