Mostrar el registro sencillo del ítem
Two Decades of Maude
dc.contributor.author | Clavel, Manuel | |
dc.contributor.author | Durán, Francisco | |
dc.contributor.author | Eker, Steven | |
dc.contributor.author | Escobar, Santiago | |
dc.contributor.author | Lincoln, Patrick | |
dc.contributor.author | Martí-Oliet, Narciso | |
dc.contributor.author | Talcott, Carolyn | |
dc.date.accessioned | 2015-09-30T07:41:21Z | |
dc.date.available | 2015-09-30T07:41:21Z | |
dc.date.created | 2015 | |
dc.date.issued | 2015-09-30 | |
dc.identifier.uri | http://hdl.handle.net/10630/10360 | |
dc.description.abstract | This 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.sponsorship | Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. | es_ES |
dc.language.iso | eng | es_ES |
dc.rights | info:eu-repo/semantics/openAccess | es_ES |
dc.subject | Maude (Lenguaje de programación) | es_ES |
dc.title | Two Decades of Maude | es_ES |
dc.type | info:eu-repo/semantics/article | es_ES |
dc.centro | E.T.S.I. Informática | es_ES |
dc.relation.eventtitle | Logic, Rewriting and Concurrency | es_ES |
dc.relation.eventplace | Urbana, Illinois, USA | es_ES |
dc.relation.eventdate | Septiembre de 2015 | es_ES |
dc.identifier.orcid | http://orcid.org/0000-0001-5864-8094 | es_ES |
dc.cclicense | by-nc-nd | es_ES |
dc.type.hasVersion | info:eu-repo/semantics/submittedVersion | es_ES |