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

Loading...
Thumbnail Image
Official URL
Full text at PDC
Publication Date
2002-05
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Google Scholar
Research Projects
Organizational Units
Journal Issue
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 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.
Description
Keywords
Citation
Collections