Search the dblp DataBase

Publications of Author

1. Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
   Context logic and tree update. [Citation Graph (0, 0)][DBLP]
   POPL, 2005, pp:271-282 [Conf]
   
2. Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
   Context logic as modal logic: completeness and parametric inexpressivity. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:123-134 [Conf]
   
3. Uri Zarfaty, Philippa Gardner
   Local Reasoning About Tree Update. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:399-424 [Journal]
   
4. Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
   Local Reasoning about Data Update. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:133-175 [Journal]
   
5. Nick Benton, Uri Zarfaty
   Formalizing and verifying semantic type soundness of a simple compiler. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:1-12 [Conf]
   
6. Philippa Gardner, Uri Zarfaty
   An Introduction to Context Logic. [Citation Graph (0, 0)][DBLP]
   WoLLIC, 2007, pp:189-202 [Conf]
   
7. 
   DOM: Towards a Formal Specification. [Citation Graph (, )][DBLP]
   
   
8. 
   Local Hoare reasoning about DOM. [Citation Graph (, )][DBLP]