A Conference Reviewing System in Mobile Maude

Francisco Durán a and Alberto Verdejo

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 supports mobile computation. We implement an ambitious wide area application, namely a conference reviewing system, an exam-ple described by Cardelli as a challenge for any wide area language to demonstrate its usability.

(BibTeX entry)    (gzip'ed Postscript)   

back   home   Formal Methods and Declarative Languages Laboratory   Computer Science Laboratory, SRI International