可执行的语义框架 k-framework

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

本文地址：https://codercto.com/soft/d/17745.html