可执行的语义框架 k-framework

发布时间:2013-02-14 10:00:29来源:红联作者:empast

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

项目主页：http://code.google.com/p/k-framework/

来自:开源中国社区

文章评论