Esta es la aplicación de Linux llamada libmx cuya última versión se puede descargar como libmx-0.2.tar.gz. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada libmx con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
libmx
DESCRIPCIÓN
"mx" es un controlador de prueba de línea de comandos para "libmx" (ver más abajo) que evalúa tanto el tipo como el valor de una expresión de cálculo lambda (http://en.wikipedia.org/wiki/Lambda_calculus) proporcionado por el usuario.
"libnpmx.so" ("npmx.dll" en MS Windows) es un complemento NPAPI (http://en.wikipedia.org/wiki/NPAPI) para el navegador web Mozilla Firefox basado en "libmx".
"libmx" proporciona un marco para tratar con expresiones de cálculo lambda (extendidas y con tipo opcional). Entre otras características que proporciona
una máquina de creación de instancias de plantillas para evaluar el valor de una expresión de cálculo lambda,
una máquina de creación de instancias de plantilla para evaluar el tipo Hindley-Milner (http://en.wikipedia.org/wiki/Hindley-Milner) de una expresión de cálculo lambda, y
o gestión de memoria basada en contadores de referencia para expresiones y tipos de cálculo lambda.
"libmx" está escrito en C (C99).
Interfaz de usuario
Línea de comandos, complementos
Lenguaje de programación
C
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/libmx/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
