Platform independent, higher-order, statically checked mobile applications

Kramer, Dean, Clark, Tony and Oussena, Samia (2011) Platform independent, higher-order, statically checked mobile applications. International Journal of Design, Analysis and Tool for Circuits and Systems, 2 (1). pp. 14-29. ISSN 2071-2987

[thumbnail of IJDATICS_02_01_02.pdf]
IJDATICS_02_01_02.pdf - Published Version

Download (358kB) | Preview


There is increasing interest in establishing a presence in the mobile application market, with platforms including Apple iPhone, Google Android and Microsoft Windows Mobile. Because of the differences in platform languages, frameworks, and device hardware development of an application for more than one platform can be a difficult task. In this paper we address this problem by the creation of a mobile Domain Specific Language (DSL). Domain analysis is carried out using two case studies, leading to the identification of basic requirements for the language. The language is defined as an extension of a λ-calculus in terms of an operation semantics and a type system. The language is a contribution to the understanding of mobile applications since it precisely defines the essential properties offered by a range of mobile application technologies, and can form the basis for a single language that can target multiple platforms.

Item Type: Article
Keywords: Domain Specific Languages, Mobile Computing, Platform-Independence
Subjects: Computing
Depositing User: Vani Aul
Date Deposited: 21 Feb 2014 16:14
Last Modified: 06 Feb 2024 15:41


Downloads per month over past year

Actions (login required)

View Item View Item