Uri Zarfaty

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty
DOM: Towards a Formal Specification. PLAN-X (2008)
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty
Local Hoare reasoning about DOM. PODS (2008)
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
Context logic as modal logic: completeness and parametric inexpressivity. POPL (2007)
Philippa Gardner, Uri Zarfaty
An Introduction to Context Logic. WoLLIC (2007)
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
Local Reasoning about Data Update. Electron. Notes Theor. Comput. Sci. 172 (2007)
Nick Benton, Uri Zarfaty
Formalizing and verifying semantic type soundness of a simple compiler. PPDP (2007)
Uri Zarfaty, Philippa Gardner
Local Reasoning About Tree Update. MFPS (2006)
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
Context logic and tree update. POPL (2005)