Two Decades of Maude [chapter]

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn Talcott
2015 Lecture Notes in Computer Science  
Dedicado a José Meseguer, con ocasión de su 65 cumpleaños, con cariño, amistad y agradecimiento por todo el trabajo realizado conjuntamente en estas dos décadas. 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
more » ... o 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.
doi:10.1007/978-3-319-23165-5_11 fatcat:cre7i55r4reg3indrng3w5fgqa