Used together with:
safe
(2)
represent
(1)
code
(1)
base
(1)
form
(1)
Stem
tsa$ (
all stems
)
1 papers:
PLDI-2001-AmmeDFR
#named
#representation
#type safety
SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form (
WA
,
ND
,
MF
,
JvR
), pp. 137–147.
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
.