Travelled to:
1 × USA
Collaborated with:
W.Amme M.Franz J.v.Ronne
Talks about:
safe (2) represent (1) referenti (1) static (1) assign (1) singl (1) secur (1) mobil (1) type (1) form (1)
Person: Niall Dalton
DBLP: Dalton:Niall
Contributed to:
Wrote 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.