BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Poland
1 × USA
Collaborated with:
P.Gardner C.Calcagno N.Benton G.Smith M.J.Wheelhouse
Talks about:
logic (3) context (2) inexpress (1) parametr (1) complet (1) verifi (1) semant (1) reason (1) formal (1) compil (1)

Person: Uri Zarfaty

DBLP DBLP: Zarfaty:Uri

Contributed to:

PODS 20082008
POPL 20072007
PPDP 20072007
POPL 20052005

Wrote 4 papers:

PODS-2008-GardnerSWZ #hoare #reasoning
Local Hoare reasoning about DOM (PG, GS, MJW, UZ), pp. 261–270.
POPL-2007-CalcagnoGZ #logic #parametricity
Context logic as modal logic: completeness and parametric inexpressivity (CC, PG, UZ), pp. 123–134.
PPDP-2007-BentonZ #compilation #formal method #semantics #verification
Formalizing and verifying semantic type soundness of a simple compiler (NB, UZ), pp. 1–12.
POPL-2005-CalcagnoGZ #logic
Context logic and tree update (CC, PG, UZ), pp. 271–282.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.