Used together with:
code
(1)
level
(1)
system
(1)
memori
(1)
safeti
(1)
Stem
ayer$ (
all stems
)
1 papers:
CAV-2011-BerdineCI
#memory management
#named
#safety
SLAyer: Memory Safety for Systems-Level Code (
JB
,
BC
,
SI
), pp. 178–183.
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
.
CAV-2011-BerdineCI #memory management #named #safety
CAV-2011-BerdineCI #memory management #named #safety