搜索
k-framework可执行的语义框架
认领
关注
0
获赞
0
粉丝
0
关注
K是一个可执行的语义框架,可通过配置、计算和规则来定义编程语言,calculi以及各种表达式分析工具。 \||
作品1
知识
k-framework可执行的语义框架
K是一个可执行的语义框架,可通过配置、计算和规则来定义编程语言,calculi以及各种表达式分析工具
k-framework可执行的语义框架
0
加载更多