A Lingustic Approach for Robustness in Context Aware Applications

Context-aware applications are vulnerable to errors due to the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. Although usually fault tolerant technologies and software verifications are widely used to prevent and remedy errors, we notice that programming languages used in developing context-aware applications also play important roles in generating less error-prone programs. In this paper we introduce our recent efforts devoted to devising a programming language supporting safety related features and formal semantics for context aware applications.