Program menurut maudedotnet.sf.net

Port Maude ke Visual C++ .NET. Maude adalah bahasa reflektif berkinerja tinggi yang mendukung logika persamaan dan penulisan ulang. Awalnya di C++ untuk Linux, ini berisi proyek Visual Studio dan kode patch yang diperlukan un