On abstract interpretation of Mobile Ambients.

Francesca Levi Sergio Maffeis

Published in: Inf. Comput. (2004)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
mobile devices
model checking
mobile phone
mobile applications
active databases
mobile users
mobile computing
reasoning engine
mobile technologies
dynamic analysis