2026-05-31T15:15:23Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/103602026-02-03T11:01:12Zcom_10630_2254col_10630_37953

00925njm 22002777a 4500 dc Clavel, Manuel author Durán, Francisco author Eker, Steven author Escobar, Santiago author Lincoln, Patrick author Martí-Oliet, Narciso author Talcott, Carolyn author 2015-09-30 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. http://hdl.handle.net/10630/10360 http://orcid.org/0000-0001-5864-8094 Maude (Lenguaje de programación) Two Decades of Maude