safeDpi: A Language for Controlling Mobile Code.
Matthew HennessyJulian RathkeNobuko YoshidaPublished in: FoSSaCS (2004)
Keyphrases
- mobile phone
- mobile devices
- natural language
- programming language
- source code
- language learning
- mobile applications
- specification language
- communication technologies
- modeling language
- mobile commerce
- mobile learning
- m learning
- context aware
- mobile networks
- error handling
- computer programs
- mobile users
- target language
- mobile environments
- database
- neural network