Abstract Interpretation-Based Static Analysis of Mobile Ambients.

Published in: SAS (2001)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
source code
mobile devices
termination analysis
regular expressions
mobile users
context aware
computing environments
mobile computing
reasoning engine
model checking
test suite