Abstract interpretation of mobile ambients.

Flemming Nielson René Rydhof Hansen Hanne Riis Nielson

Published in: Sci. Comput. Program. (2003)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
mobile phone
mobile devices
model checking
mobile applications
reasoning engine
context aware
computing environments
active databases
high level
spatial data
mobile users
mobile computing