Strong Mobility in Mobile Haskell

Простая страница элемента
dc.creatorBois,André Rauber Du
dc.creatorTrinder,Phil
dc.creatorLoidl,Hans-Wolfgang
dc.date2006
dc.date.accessioned2024-02-06T12:54:38Z
dc.date.available2024-02-06T12:54:38Z
dc.descriptionIn a mobile language, computations can move between locations in a network to better utilise resources, e.g., as in a computational GRID. Mobile Haskell, or mHaskell, is a small extension of Concurrent Haskell that enables the construction of distributed mobile software by introducing higher order communication channels called Moble Channels (MChannels). mHaskell only provides weak mobility, i.e. the ability to start new computations on remote locations. This paper shows how strong mobility, i.e. the ability to migrate running threads between locations, can be implemented in a language like mHaskell with weak mobility, higher-order channels and first-class continuations. Using Haskell's high level features, such as higher-order functions, type classes and support for monadic programming, strong mobility is achieved without any changes to the runtime system, or built-in support for continuations. Strong mobility is illustrated with examples and a mobile agent case study.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-012-07-0868
dc.identifierhttps://lib.jucs.org/article/28638/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/9089
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 12(7): 868-884
dc.subjectmobile computation
dc.subjectstrong mobility
dc.subjectfunctional programming
dc.subjectHaskell
dc.titleStrong Mobility in Mobile Haskell
dc.typeResearch Article
Файлы
Коллекции