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.
PLDI-2001-AmmeDFR #named #representation #type safety