Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 11 / Issue 7

available in:   HTML (48 kB) PDF (339 kB) PS (196 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-011-07-1234

 

mHaskell: Mobile Computation in a Purely Functional Language

André Rauber Du Bois (School of Mathematical and Computer Sciences, Heriot-Watt University, UK, and,
Escola de Informática, Universidade Católica de Pelotas, Brazil)

Phil Trinder (School of Mathematical and Computer Sciences, Heriot-Watt University, United Kingdom)

Hans-Wolfgang Loidl (Institut für Informatik, Ludwig-Maximilians-Universität Munich, Germany)

Abstract: We provide a complete description of mHaskell, a new mobile programming language that extends the Haskell functional language. We describe new stateful mobility primitives that use higher-order channels, giving their operational semantics and an implementation outline. We show how medium-level coordination abstractions can be constructed using monadic composition of the mobility primitives. We briefly outline how high-level mobile coordination abstractions, or mobility skeletons, can be defined using the lower-level abstractions. The use of all three abstractions is demonstrated with examples and a new case study: a distributed stateless web server where a thread farm skeleton is used to distribute work to remote locations.

Keywords: Haskell, functional programming, mobile computation,, programming languages

Categories: D.3.3