Mobile Calculi based on Domains

Mobile reactive programming in ULM

S. Epardaud


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.

  author = \{S. Epardaud},
  title = \{Mobile reactive programming in ULM},
  booktitle = \{Scheme Workshop},
  year = \{2004}, 
  url = \{}

About this site. Last modified: Wed Sep 20 22:01:44 CEST 2017