Search the dblp DataBase

Publications of Author

1. Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno
   Variables as Resource in Hoare Logics. [Citation Graph (0, 0)][DBLP]
   LICS, 2006, pp:137-146 [Conf]
   
2. 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]
   
3. Matthew J. Parkinson, Gavin M. Bierman
   Separation logic and abstraction. [Citation Graph (0, 0)][DBLP]
   POPL, 2005, pp:247-258 [Conf]
   
4. 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]
   
5. Gavin M. Bierman, Matthew J. Parkinson
   Effects and effect inference for a core Java calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
   
6. Viktor Vafeiadis, Matthew Parkinson
   A Marriage of Rely/Guarantee and Separation Logic. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2007, pp:256-271 [Conf]
   
7. Rok Strnisa, Peter Sewell, Matthew Parkinson
   The java module system: core design and semantic definition. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2007, pp:499-514 [Conf]
   
8. Cristiano Calcagno, Matthew Parkinson, Viktor Vafeiadis
   Modular Safety Checking for Fine-Grained Concurrency. [Citation Graph (0, 0)][DBLP]
   SAS, 2007, pp:233-248 [Conf]
   
9. 
   UpgradeJ: Incremental Typechecking for Class Upgrades. [Citation Graph (, )][DBLP]
   
   
10. 
    Verifying Generics and Delegates. [Citation Graph (, )][DBLP]
    
    
11. 
    Concurrent Abstract Predicates. [Citation Graph (, )][DBLP]
    
    
12. 
    Deny-Guarantee Reasoning. [Citation Graph (, )][DBLP]
    
    
13. 
    Explicit Stabilisation for Modular Rely-Guarantee Reasoning. [Citation Graph (, )][DBLP]
    
    
14. 
    jStar: towards practical verification for java. [Citation Graph (, )][DBLP]
    
    
15. 
    Separation logic, abstraction and inheritance. [Citation Graph (, )][DBLP]
    
    
16. 
    Proving that non-blocking algorithms don't block. [Citation Graph (, )][DBLP]
    
    
17. 
    Coarse-grained transactions. [Citation Graph (, )][DBLP]
    
    
18. 
    The Next 700 Separation Logics - (Invited Paper). [Citation Graph (, )][DBLP]
    
    
19. 
    From Java To UpgradeJ: An Empirical Study. [Citation Graph (, )][DBLP]
    
    
20. 
    Separation Logic Verification of C Programs with an SMT Solver. [Citation Graph (, )][DBLP]