RT Journal Article
T1 Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System
A1 Durán, Francisco
A1 Verdejo López, José Alberto
AB A useful way of presenting a new language is by means of complete examples that show thelanguage features in action. In this paper we do so for the Mobile Maude language, an extensionof 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 anywide area language to demonstrate its usability.
YR 2002
FD 2002-05
LK https://hdl.handle.net/20.500.14352/60345
UL https://hdl.handle.net/20.500.14352/60345
LA eng
DS Docta Complutense
RD 10 abr 2025