Mobile Calculi based on Domains


Mobile reactive programming in ULM

S. Epardaud

Abstract

We present an embedding of ULM in Scheme and an implementation of a compiler and a virtual machine for it. ULM is a core programming model that allows multi-threaded and distributed programming via strong mobility with a deterministic semantics. We present the multi-threading and distributed primitives of ULM step by step using examples. The introduction of mobility in a Scheme language raises questions about the semantics of variables with respect to migration. We expose the problems and offer two solutions alongside ULM's network references. We also present our implementation of the compiler, virtual machine and the concurrent threading library written in Scheme.

@InProceedings\{epardaud:mobile-reactive-programming-uml,
  author = \{S. Epardaud},
  title = \{Mobile reactive programming in ULM},
  booktitle = \{Scheme Workshop},
  year = \{2004}, 
  url = \{http://mikado.di.fc.ul.pt/repository/epardaud_mobile-reactive-programming-uml.pdf}
}


About this site. Last modified: Wed Nov 22 08:34:48 CET 2017