- 授权协议: Apache
- 开发语言: C/C++
- 操作系统: Linux
- 软件首页: http://code.google.com/p/k-framework/
- 软件文档: http://code.google.com/p/k-framework/w/list
软件介绍
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>
