Sign in
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