RT Journal Article
T1 Two Decades of Maude
A1 Clavel, Manuel
A1 Durán, Francisco
A1 Eker, Steven
A1 Escobar, Santiago
A1 Lincoln, Patrick
A1 Martí-Oliet, Narciso
A1 Talcott, Carolyn
K1 Maude (Lenguaje de programación)
AB 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.
YR 2015
FD 2015-09-30
LK http://hdl.handle.net/10630/10360
UL http://hdl.handle.net/10630/10360
LA eng
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026