XsemanticsXtext 的类型系统

0粉丝
Eclipse Xsemantics 是一种DSL(在 Xtext 中实现的),为 Xtext 实现了编写类型系统、缩减规则、解释器和一般关系规则的语
简介
Eclipse Xsemantics 是一种DSL(在 Xtext 中实现的),为 Xtext 实现了编写类型系统、缩减规则、解释器和一般关系规则的语言。 Xsemantics 定义是一套具有结论和一套前提的判断规则。 然后生成 Java 代码,可以在基于Xtext 的语言中进行验证。Eclipse... 更多
其它信息
地区
不详
开发语言
Java
开源组织
所属分类
插件和扩展、 Eclipse插件
授权协议
EPL
操作系统
跨平台
收录时间
2023-09-29
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐