Complutense University Library

Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System

Durán, Francisco and Verdejo López, José Alberto (2002) Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System. Technical report, 124-02 . pp. 1-31.

View download statistics for this eprint

==>>> Export to other formats


A useful way of presenting a new language is by means of complete examples that show the
language features in action. In this paper we do so for the Mobile Maude language, an extension
of Maude that suports mobile computation. We implement an ambitious wide area application,
namely a conference reviewing system, an example described by Cardelli as a challenge for any
wide area language to demonstrate its usability.

Item Type:Article
Uncontrolled Keywords:Mobile Maude, specification languages for mobile objects, conference reviewing system.
Subjects:Sciences > Mathematics > Logic, Symbolic and mathematical
ID Code:4887
Deposited On:20 May 2005
Last Modified:06 Feb 2014 07:42

Repository Staff Only: item control page