A Conference Reviewing System in Mobile Maude

Francisco Durán and Alberto Verdejo

In F. Gadducci and U. Montanari, editors, Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002, Pisa, Italy, September 19-21, 2002, volume 71 of Electronic Notes in Theoretical Computer Science, pages 79-95. Elsevier, 2002.

Abstract: 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 example described by Cardelli as a challenge for any wide area language to demonstrate its usability.

  [pdf]

@InProceedings{DuranVerdejo02,
  author =       {Francisco Dur\'an and Alberto Verdejo},
  title =        {A Conference Reviewing System in {Mobile Maude}},
  pages =        {79-95},
  editor =       {Fabio Gadducci and Ugo Montanari},
  booktitle =    {Proceedings Fourth International Workshop on Rewriting
                  Logic and its Applications, WRLA 2002, Pisa, Italy,
                  September 19--21, 2002},
  year =         2002,
  publisher =    {Elsevier},
  volume =       71,
  series =       {Electronic Notes in Theoretical Computer Science},
  note =         {\url{http://www.elsevier.nl/locate/entcs/volume71.html}}
}