Used together with:
memori
(1)
annot
(1)
without
(1)
check
(1)
safeti
(1)
Stem
scj$ (
all stems
)
1 papers:
FM-2014-MarriottC
#named
SCJ: Memory-Safety Checking without Annotations (
CM
,
AC
), pp. 465–480.
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
.