Programas por maudedotnet.sf.net

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