Uri Zarfaty

Most-cited papers

1. Context logic and tree update

   Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

   2005ACM-SIGACT Symposium on Principles of Programming Languages91 citations

   Semantic Scholar

   Save

2. Local Hoare reasoning about DOM

   Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty

   2008ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems53 citations

   Semantic Scholar

   Save

3. Context logic as modal logic: completeness and parametric inexpressivity

   Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

   2007ACM-SIGACT Symposium on Principles of Programming Languages52 citations

   Semantic Scholar

   Save

4. DOM: Towards a Formal Specification

   Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty

   2008PLAN-X24 citations

   Semantic Scholar

   Save

5. Formalizing and verifying semantic type soundness of a simple compiler

   N. Benton, Uri Zarfaty

   2007ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming21 citations

   Semantic Scholar

   Save

6. An Introduction to Context Logic

   Philippa Gardner, Uri Zarfaty

   2007Workshop on Logic, Language, Information and Computation7 citations

   Semantic Scholar

   Save

7. Local Reasoning About Tree Update

   Uri Zarfaty, Philippa Gardner

   2006Mathematical Foundations of Programming Semantics7 citations Open access

   Semantic Scholar

   Save

8. DOM: Towards a Formal Specification

   P. Gardner, Gareth Smith, Mark Wheelhouse, Uri Zarfaty

   20160 citations

   Semantic Scholar

   Save