BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Poland
1 × Sweden
1 × USA
Collaborated with:
∅ J.L.Caldwell M.Batty S.Owens S.Sarkar P.Sewell J.C.Blanchette
Talks about:
concurr (2) construct (1) character (1) mathemat (1) program (1) nitpick (1) unfold (1) toward (1) mechan (1) verif (1)

Person: Tjark Weber

DBLP DBLP: Weber:Tjark

Contributed to:

POPL 20112011
PPDP 20112011
CSL 20042004
LOPSTR 20032003

Wrote 4 papers:

POPL-2011-BattyOSSW #c++ #concurrent
Mathematizing C++ concurrency (MB, SO, SS, PS, TW), pp. 55–66.
PPDP-2011-BlanchetteWBOS #c++ #concurrent
Nitpicking C++ concurrency (JCB, TW, MB, SO, SS), pp. 113–124.
CSL-2004-Weber #logic #towards #verification
Towards Mechanized Program Verification with Separation Logic (TW), pp. 250–264.
LOPSTR-2003-WeberC
Constructively Characterizing Fold and Unfold (TW, JLC), pp. 110–127.
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.