K-Framework 3.0 发布,可执行的语义框架 - 开源中国社区
Float_left Icon_close
K-Framework 3.0 发布,可执行的语义框架
oschina 2013年04月03日

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

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

阿里云高性能云服务器,2折起! >>> >>>  

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)
最新评论
0

引用来自“puras”的评论

引用来自“bigbenfather”的评论

没看懂有什么用

+1

+1
0

引用来自“bigbenfather”的评论

没看懂有什么用

+1
0
没看懂有什么用
顶部