Biblioteca de la Universidad Complutense de Madrid

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

Impacto



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

[img]
Vista previa
PDF
154kB


Resumen

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.


Tipo de documento:Artículo
Palabras clave:Mobile Maude, specification languages for mobile objects, conference reviewing system.
Materias:Ciencias > Matemáticas > Lógica simbólica y matemática
Código ID:4887
Depositado:20 May 2005
Última Modificación:06 Feb 2014 07:42

Sólo personal del repositorio: página de control del artículo