K-Framework 3.0发布，可执行的语义框架

K-Framework 3.0 使用 XStream 来序列化对象到 XML 文件，允许 BLOBs 和 列表进行透明的转换，域对象支持多个 PU，重新设计了窗口的生命周期等。

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

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

来自:开源中国社区