Uri Zarfaty

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2008
c6		Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty: DOM: Towards a Formal Specification. PLAN-X 2008
c5		Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty: Local Hoare reasoning about DOM. PODS 2008: 261-270
	2007
j2		Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: Local Reasoning about Data Update. Electr. Notes Theor. Comput. Sci. 172: 133-175 (2007)
c4		Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: Context logic as modal logic: completeness and parametric inexpressivity. POPL 2007: 123-134
c3		Nick Benton, Uri Zarfaty: Formalizing and verifying semantic type soundness of a simple compiler. PPDP 2007: 1-12
c2		Philippa Gardner, Uri Zarfaty: An Introduction to Context Logic. WoLLIC 2007: 189-202
	2006
j1		Uri Zarfaty, Philippa Gardner: Local Reasoning About Tree Update. Electr. Notes Theor. Comput. Sci. 158: 399-424 (2006)
	2005
c1		Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: Context logic and tree update. POPL 2005: 271-282

Coauthor Index

Last update Sat May 25 09:22:50 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page