Used together with:
data
(1)
concurr
(1)
atom
(1)
written
(1)
structur
(1)
Stem
schecker$ (
all stems
)
1 papers:
OOPSLA-2013-NorrisD
#c
#c++
#concurrent
#data type
#named
CDSchecker: checking concurrent data structures written with C/C++ atomics (
BN
,
BD
), pp. 131–150.
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
.