Este es el comando maude que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
Maude: un marco lógico de alto rendimiento
SINOPSIS
maude [opciones] [archivos]
DESCRIPCIÓN
Esta página de manual documenta brevemente la Maude Interprete. Esta página de manual fue escrita
para la distribución Debian porque el programa original no tiene una página de manual.
Maude es un lenguaje y sistema reflexivo de alto rendimiento que soporta tanto ecuaciones como
reescritura de especificaciones lógicas y programación para una amplia gama de aplicaciones. Maude tiene
ha sido influenciado de manera importante por el lenguaje OBJ3, que puede considerarse como un
sublenguaje de lógica ecuacional. Además de admitir la especificación y programación ecuacionales,
Maude también admite la reescritura de cálculos lógicos.
La lógica de reescritura es una lógica de cambio concurrente que, naturalmente, puede lidiar con el estado y
con cálculos concurrentes. Tiene buenas propiedades como marco semántico general para
dando semántica ejecutable a una amplia gama de lenguajes y modelos de concurrencia. En
en particular, soporta muy bien la computación orientada a objetos concurrente. Las mismas razones
hacer de la reescritura de la lógica un buen marco semántico lo convierte también en un buen marco lógico,
es decir, una metalógica en la que muchas otras lógicas pueden representarse y ejecutarse de forma natural.
Maude apoya de manera sistemática y eficiente la reflexión lógica. Esto hace Maude
notablemente extensible y potente, admite un álgebra extensible de composición de módulos
operaciones, y permite muchas aplicaciones avanzadas de metaprogramación y metalenguaje.
De hecho, algunas de las aplicaciones más interesantes de Maude son aplicaciones de metalenguaje,
en el cual Maude se utiliza para crear entornos ejecutables para diferentes lógicas, teorema
probadores, lenguajes y modelos de computación.
--ayuda mostrar información de ayuda
--versión
Mostrar número de versión
-no-preludio
No lea en el preludio estándar
-sin-banner
No mostrar banner al inicio
-sin-consejo
Sin avisos al inicio
-no-mixfix
No use la notación mixfix para la salida
-sin envoltura
No envuelva la línea automáticamente para la salida
-ansi-color
Utilice secuencias de control ANSI
-sin-ansi-color
No utilice secuencias de control ANSI
-tecla Use la tecla de edición de línea de comando
-no-tecla
No utilice la edición de la línea de comandos de la tecla
-lote Ejecutar en modo por lotes
-interactivo
Ejecutar en modo interactivo
-semilla-aleatoria =
Establecer semilla para generador de números aleatorios
-xml-log =
Establecer archivo en el que producir un registro xml
DERECHOS DE AUTOR
Copyright (c) 1997-2011 SRI International, Menlo Park, CA 94025, EE. UU.
Copyright (c) 1997 - 2002, Makoto Matsumoto y Takuji Nishimura,
Derechos de autor (c) 2000-2003, Richard J. Wagner
PRESENTACIÓN DE INFORMES LOCO
Envíe informes de errores a: [email protected]
Utilice maude en línea utilizando los servicios de onworks.net
