Platform independent, higher-order, statically checked mobile applications

Article


Kramer, D., Clark, T. and Oussena, S. 2011. Platform independent, higher-order, statically checked mobile applications. International Journal of Design, Analysis and Tools for Circuits and Systems. 2 (1), pp. 14-29.
TypeArticle
TitlePlatform independent, higher-order, statically checked mobile applications
AuthorsKramer, D., Clark, T. and Oussena, S.
Abstract

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 SpecificLanguage (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.

Research GroupResearch Group on Development of Intelligent Environments
SensoLab group
JournalInternational Journal of Design, Analysis and Tools for Circuits and Systems
ISSN2071-2987
Publication dates
Print01 Aug 2011
Publication process dates
Deposited14 Feb 2012
Output statusPublished
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/8380w

  • 22
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as