Abstract Interpretation-Based Mobile Code Certification.
Elvira AlbertGermán PueblaManuel V. HermenegildoPublished in: ICLP (2004)
Keyphrases
- abstract interpretation
- static analysis
- termination analysis
- dynamic analysis
- source code
- mobile phone
- model checking
- active rules
- mobile devices
- mobile applications
- active databases
- mobile technologies
- mobile computing
- open source
- reasoning engine
- knowledge base
- mobile users
- object oriented databases
- context aware
- software engineering