Un puerto de Maude a Visual C++ .NET. Maude es un lenguaje reflexivo de alto rendimiento que soporta la lógica ecuacional y de reescritura. Originalmente en C++ para Linux, contiene el proyecto de Visual Studio y el código de revisión necesario para compilar Maude para .NET.
historial de versiones
- Versión Maude%20.NET%202.4.0.3 publicado en 2009-12-11
Varias correcciones y actualizaciones - Versión Maude .NET 2.4.0.3 publicado en 2009-12-11
Detalles del programa
- Categoría: Red e Internet > Otro
- Editor: maudedotnet.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: 2.4.0.3
- Plataforma: windows