e/Maude system

Information
has gloss	eng: The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful metaprogramming based on reflection.
lexicalization	eng: Maude system
instance of	(noun) (computer science) a language designed for programming computers programing language, programming language

Meaning
Castilian
has gloss	spa: Maude es un lenguaje de programación para especificaciones formales mediante el uso de términos algebraicos. Se trata de un lenguaje interpretado que permite la verificación de propiedades y transformaciones sobre modelos y que permite ejecutar la especificación como si fuera un prototipo.
lexicalization	spa: Maude