可执行的语义框架 k-framework

码农软件 · 软件分类 · 其他开发相关 · 2019-10-28 13:12:21

授权协议: 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>