The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Uri Zarfaty: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002