Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System
| dc.contributor.author | Durán, Francisco | |
| dc.contributor.author | Verdejo López, José Alberto | |
| dc.date.accessioned | 2023-06-20T20:29:09Z | |
| dc.date.available | 2023-06-20T20:29:09Z | |
| dc.date.issued | 2002-05 | |
| dc.description.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. | |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Informática | |
| dc.description.refereed | FALSE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/4887 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/60345 | |
| dc.journal.title | Technical report | |
| dc.language.iso | eng | |
| dc.page.final | 31 | |
| dc.page.initial | 1 | |
| dc.rights.accessRights | open access | |
| dc.subject.keyword | Mobile Maude | |
| dc.subject.keyword | specification languages for mobile objects | |
| dc.subject.keyword | conference reviewing system. | |
| dc.subject.ucm | Lógica simbólica y matemática (Matemáticas) | |
| dc.subject.unesco | 1102.14 Lógica Simbólica | |
| dc.title | Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System | |
| dc.type | journal article | |
| dc.volume.number | 124-02 | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | fdcba7f2-108a-46f4-bf49-c292a5b81953 | |
| relation.isAuthorOfPublication.latestForDiscovery | fdcba7f2-108a-46f4-bf49-c292a5b81953 |
Download
Original bundle
1 - 1 of 1
