Uri Zarfaty

According to our database, Uri Zarfaty authored at least 8 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Local Hoare reasoning about DOM.

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

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

DOM: Towards a Formal Specification.

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

Proceedings of the PLAN-X 2008, 2008

2007

Local Reasoning about Data Update.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

An Introduction to Context Logic.

Philippa Gardner, Uri Zarfaty

Proceedings of the Logic, 2007

Formalizing and verifying semantic type soundness of a simple compiler.

Nick Benton, Uri Zarfaty

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Context logic as modal logic: completeness and parametric inexpressivity.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Local Reasoning About Tree Update.

Uri Zarfaty, Philippa Gardner

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2005

Context logic and tree update.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005