Maude (lenguaje de programación)
lenguaje de programación / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Maude (lenguaje de programación)?
Resumir este artículo para un niño de 10 años
MOSTRAR TODAS LAS PREGUNTAS
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.
Este artículo o sección sobre informática necesita ser wikificado, por favor, edítalo para que cumpla con las convenciones de estilo. |
Datos rápidos Desarrollador(es), Información general ...
Maude | ||
---|---|---|
Desarrollador(es) | ||
SRI International | ||
Información general | ||
Paradigma |
Lenguaje declarativo Lenguaje funcional Lenguaje de rescritura | |
Cerrar