Searching for authors named "Richard Bornat" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Proving pointer programs in Hoare Logic
- …© Springer-Verlag Proving pointer programs in Hoare Logic Richard Bornat Department of Computer…
- Cited by 69 (3 self) – Add To MetaCart
-
Using J'n'J in Unix/X JAPE: Natural Deduction using the Jape Proof Editor
- … Editor Bernard Sufrin Richard Bornat PRG-TR-10-98 Oxford University Computing Laboratory Wolfson…
- Add To MetaCart
-
User Interfaces for Generic Proof Assistants Part I: Interpreting Gestures
- … Richard Bornat z April 3, 1998 Abstract JAPE is a generic proof editor which (amongst other things…
- Cited by 5 (2 self) – Add To MetaCart
-
Displaying sequent-calculus proofs in natural-deduction style: experience with the Jape proof calculator.
- … proof calculator. Richard Bornat (QMW, University of London) Bernard Sufrin (PRG, Oxford University…
- Cited by 1 (1 self) – Add To MetaCart
-
Model Checking for Stability Analysis in Rely-Guarantee Proofs
- …Model Checking for Stability Analysis in Rely-Guarantee Proofs Hasan Amjad and Richard Bornat…
- Add To MetaCart
-
Jape's Quiet Interface
- …- 1 - Jape's quiet interface Richard Bornat, Dept of Computer Science, Queen Mary and Westfield…
- Cited by 8 (0 self) – Add To MetaCart
-
Program logic and equivalence in the presence of garbage collection
- …, Peter O'Hearn1, and Richard Bornat1 1 Queen Mary, University of London 2 DISI, University of Genova…
- Cited by 20 (1 self) – Add To MetaCart
-
Permission Accounting in Separation Logic
- …ABSTRACT Permission Accounting in Separation Logic Richard Bornat School of Computing Science…
- Add To MetaCart
-
First published—1979.
- …Understanding and Writing Compilers A do-it-yourself guide Richard Bornat Middlesex University…
- Add To MetaCart
-
Local Reasoning, Separation and Aliasing
- …Abstract Local reasoning, separation and aliasing Richard Bornat School of Computing Science…
- Cited by 14 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
