Maude .NET开源实现详解
将Maude语言移植至Visual C++.NET的工作。Maude是一种功能强大的语言，支持等式和重写逻辑，并具备高效的反射能力。此项目最初在Linux平台上使用C++开发，现已集成到Visual Studio的项目中，并且包括编译Maude为.NET代码所需的补丁和修改。
下载地址
用户评论
