当前位置: 软件>C/C++软件
可执行的语义框架 k-framework
本文导语: K是一个可执行的语义框架，可通过配置、计算和规则来定义编程语言，calculi以及各种表达式分析工具。 ||||||||||||||||||/ --- Welcome to Maude --- /|||||||||||||||||| ...
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>
您可能感兴趣的文章:
本站(WWW.)旨在分享和传播互联网科技相关的资讯和技术，将尽最大努力为读者提供更好的信息聚合和浏览方式。
本站(WWW.)站内文章除注明原创外，均为转载、整理或搜集自网络。欢迎任何形式的转载，转载请注明出处。
本站(WWW.)站内文章除注明原创外，均为转载、整理或搜集自网络。欢迎任何形式的转载，转载请注明出处。