An Abstract Interpretation-based Approach to Mobile Code Safety.
Elvira AlbertGermán PueblaManuel V. HermenegildoPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- abstract interpretation
- static analysis
- termination analysis
- source code
- dynamic analysis
- mobile devices
- active rules
- mobile phone
- model checking
- reasoning engine
- mobile users
- mobile computing
- active databases
- software systems
- mobile applications
- control flow
- context aware
- databases
- database
- integrity constraints
- high level
- case study