An Abstract Interpretation Framework for Analysing Mobile Ambients.

Francesca Levi Sergio Maffeis

Published in: SAS (2001)

Keyphrases

abstract interpretation
static analysis
database
databases
query language
mobile phone
software architecture
termination analysis