Two Decades of Maude

Simple item page
dc.centroE.T.S.I. Informáticaes_ES
dc.contributor.authorClavel, Manuel
dc.contributor.authorDurán, Francisco
dc.contributor.authorEker, Steven
dc.contributor.authorEscobar, Santiago
dc.contributor.authorLincoln, Patrick
dc.contributor.authorMartí-Oliet, Narciso
dc.contributor.authorTalcott, Carolyn
dc.date.accessioned2015-09-30T07:41:21Z
dc.date.available2015-09-30T07:41:21Z
dc.date.created2015
dc.date.issued2015-09-30
dc.departamentoLenguajes y Ciencias de la Computación
dc.description.abstractThis paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership. After reviewing the origins and the language's main features, we present the latest additions to the language and some features currently under development. This paper is not an introduction to Maude, and some familiarity with it and with rewriting logic are indeed assumed.es_ES
dc.description.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.es_ES
dc.identifier.orcidhttp://orcid.org/0000-0001-5864-8094es_ES
dc.identifier.urihttp://hdl.handle.net/10630/10360
dc.language.isoenges_ES
dc.relation.eventdateSeptiembre de 2015es_ES
dc.relation.eventplaceUrbana, Illinois, USAes_ES
dc.relation.eventtitleLogic, Rewriting and Concurrencyes_ES
dc.rightsby-nc-nd
dc.rights.accessRightsopen accesses_ES
dc.subjectMaude (Lenguaje de programación)es_ES
dc.titleTwo Decades of Maudees_ES
dc.typejournal articlees_ES
dc.type.hasVersionSMURes_ES
dspace.entity.typePublication

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
00_main.pdf
Size:
461.54 KB
Format:
Adobe Portable Document Format
Download

Collections

Artículos