Login / Signup
SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form.
Wolfram Amme
Niall Dalton
Michael Franz
Jeffery von Ronne
Published in:
PLDI (2001)
Keyphrases
</>
mobile devices
dynamic analysis
source code
mobile phone
image representation
graphical representation
multiscale
mobile users
static analysis
open source
mobile learning
computing environments
m learning
communication technologies
symbolic representation
mobile communication