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

oschina
 oschina
发布于 2013年04月03日
收藏 5

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

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

                     \||||||||||||||||||/
                   
--- Welcome to Maude ---
                     
/||||||||||||||||||\
           
Maude 2.4 built: Nov  6 2008 16:42:13
           
Copyright 1997-2008 SRI International
                   
Tue Apr 13 09:40:30 2010
Maude>
本站文章除注明转载外,均为本站原创或编译。欢迎任何形式的转载,但请务必注明出处,尊重他人劳动共创开源社区。
转载请注明:文章转载自 开源中国社区 [http://www.oschina.net]
本文标题:K-Framework 3.0 发布,可执行的语义框架
加载中

最新评论(3

归零膏灬
归零膏灬

引用来自“puras”的评论

引用来自“bigbenfather”的评论

没看懂有什么用

+1

+1
puras
puras

引用来自“bigbenfather”的评论

没看懂有什么用

+1
徒伤悲
徒伤悲
没看懂有什么用
返回顶部
顶部