article · 2004

Distributed Meta-Programming ∗

Chiyan Chen, Rui Shi, Hongwei Xi

Cited by 0Abstract and details only

Abstract

The need for mobile computing is evident and growing rapidly in this age of Internet. However, it is in general difficult to construct programs in support of mobile computing due to issues such as mobility (of code) and locality and heterogeneity (of resources). In this paper, we study distributed meta-programming from a type-theoretic perspective, presenting a language to facilitate the construction of programs that may generate and distribute code at run-time. In particular, we are to form a type system that can statically guarantee that only well-typed code (according to some chosen type discipline) can be constructed and then sent to a proper location for execution. To achieve this, we make use of a form of typeful code representation developed in a previous study on meta-programming. The main contribution of the paper lies in the recognition and then formalization of a typeful approach to distributed meta-programming that is simple as well as general. In addition, we have finished a prototype implementation in support of the practicality of this approach, providing a solid proof of concept.

Cite this paper

APA 7

Chen, C., Shi, R., & Xi, H. (2004). Distributed Meta-Programming ∗.

MLA 9

Chen, Chiyan, et al. “Distributed Meta-Programming ∗.” 2004.

Chicago

Chen, Chiyan, Rui Shi, and Hongwei Xi. 2004. “Distributed Meta-Programming ∗.”

Harvard

Chen, C., Shi, R. and Xi, H. (2004) ‘Distributed Meta-Programming ∗’.

BibTeX

@article{chen2004distributed,
  title = {{Distributed Meta-Programming ∗}},
  author = {Chen, Chiyan and Shi, Rui and Xi, Hongwei},
  year = {2004}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.