Abstract Interpretation of Mobile Ambients.

René Rydhof Hansen Jacob Grydholt Jensen Flemming Nielson Hanne Riis Nielson

Published in: SAS (1999)

Keyphrases

abstract interpretation
termination analysis
static analysis
mobile devices
mobile phone
active rules
model checking
active databases
reasoning engine
dynamic analysis
mobile users
web services
integrity constraints
mobile applications
mobile technologies