Grail: a functional form for imperative mobile code.

Lennart Beringer Kenneth MacKenzie Ian Stark

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

mobile devices
source code
mobile phone
mobile learning
location aware
intelligent mobile
context aware
mobile computing
handheld devices
static analysis
mobile environments
mobile commerce
autonomous mobile
android application
real time
mobile networks
m learning
mobile applications
user experience
email
program code