shell Android google 程序员 linux 开源 centos linux命令 apache Firefox Windows nginx java HTML5 mysql php wordpress Ubuntu Python 微软

可执行的语义框架:K-Framework 2.0 发布

K-Framework 2.0 发布了,该版本简化了服务器端和客户端的 API ,更便于使用和学习。同时提供对 Maven 的支持,完全支持国际化,支持高可用性的服务器端集群,更完善的文档等等。

K是一个可执行的语义框架,可通过配置、计算和规则来定义编程语言,calculi以及各种表达式分析工具。

下载地址:http://code.google.com/p/k-framework/downloads/list

延伸阅读

  • 抱歉,暂无相关内容!

评论