可执行的语义框架：K-Framework 2.0 发布 K-Framework 2.0 发布了，该版本简化了服务器端和客户端的 API ，更便于使用和学习。同时提供对 Maven 的支持，完全支持国际化，支持高可用性的服务器端集群，更完善的文档等等。 K是一个可执行的语义框架，可通过配置、计算和规则来定义编程语言，calculi以及各种表达式分析工... 详情»
