Search the dblp DataBase

Publications of Author

1. Richard Bornat, Bernard Sufrin
   Jape: A Calculator for Animating Proof-on-Paper. [Citation Graph (0, 0)][DBLP]
   CADE, 1997, pp:412-415 [Conf]
   
2. Richard Bornat
   Reasoning about Hand Prinited FORTRAN Programs. [Citation Graph (0, 0)][DBLP]
   AISB (ECAI), 1976, pp:38-46 [Conf]
   
3. Richard Bornat, Michael Brady
   Finding Blobs of Writing in the FORTRAN Coding-Sheets Project. [Citation Graph (0, 0)][DBLP]
   AISB (ECAI), 1976, pp:47-55 [Conf]
   
4. Richard Bornat, Bob J. Wielinga
   Does AI Programming really have to be like knitting with Spaghetti? [Citation Graph (0, 0)][DBLP]
   AISB (ECAI), 1976, pp:56-62 [Conf]
   
5. Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno
   Variables as Resource in Hoare Logics. [Citation Graph (0, 0)][DBLP]
   LICS, 2006, pp:137-146 [Conf]
   
6. Richard Bornat
   Proving Pointer Programs in Hoare Logic. [Citation Graph (0, 0)][DBLP]
   MPC, 2000, pp:102-126 [Conf]
   
7. Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson
   Permission accounting in separation logic. [Citation Graph (0, 0)][DBLP]
   POPL, 2005, pp:259-270 [Conf]
   
8. Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn
   Modular verification of a non-blocking stack. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:297-302 [Conf]
   
9. Richard Bornat, Bernard Sufrin
   Animating Formal Proof at the Surface: The Jape Proof Calculator. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1999, v:42, n:3, pp:177-192 [Journal]
   
10. Doug Goldson, Steve Reeves, Richard Bornat
    A Review of Several Programs for the Teaching of Logic. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:4, pp:373-386 [Journal]
    
11. Richard Bornat, Cristiano Calcagno, Hongseok Yang
    Variables as Resource in Separation Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:247-276 [Journal]
    
12. Richard Bornat, Bernard Sufrin
    A Minimal Graphical User Interface for the Jape Proof Calculator. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:3, pp:244-271 [Journal]
    
13. Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat
    Parallelizing Imperative Functional Programs: the Vectorization Monad. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:561-576 [Journal]
    
14. Richard Bornat
    A Protocol for Generalized occam. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1986, v:16, n:9, pp:783-799 [Journal]
    
15. Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat
    Program logic and equivalence in the presence of garbage collection. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:3, n:298, pp:557-581 [Journal]
    
16. 
    Model Checking for Stability Analysis in Rely-Guarantee Proofs. [Citation Graph (, )][DBLP]
    
    
17. 
    Cyclic proofs of program termination in separation logic. [Citation Graph (, )][DBLP]
    
    
18. 
    Towards Automatic Stability Analysis for Rely-Guarantee Proofs. [Citation Graph (, )][DBLP]