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 × Spain
Collaborated with:
T.M.T.Tran M.Steffen
Talks about:
transact (1) synchron (1) implicit (1) composit (1) analysi (1) static (1) join (1) set (1)

Person: Hoang Truong

DBLP DBLP: Truong:Hoang

Contributed to:

SEFM 20132013

Wrote 1 papers:

SEFM-2013-TranST #composition #static analysis #transaction
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.

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.