Used together with:
infer
(1)
atom
(1)
synchron
(1)
section
(1)
Stem
autolock$ (
all stems
)
1 papers:
POPL-2006-McCloskeyZGB
#named
Autolocker: synchronization inference for atomic sections (
BM
,
FZ
,
DG
,
EAB
), pp. 346–358.
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
.