XsemanticsXtext 的类型系统

联合创作 · 2023-09-29 04:13

Eclipse Xsemantics 是一种DSL(在 Xtext 中实现的),为 Xtext 实现了编写类型系统、缩减规则、解释器和一般关系规则的语言。 Xsemantics 定义是一套具有结论和一套前提的判断规则。 然后生成 Java 代码,可以在基于Xtext 的语言中进行验证。

Eclipse Update:https://dl.bintray.com/lorenzobettini/xsemantics/updates/1.10/

浏览 6
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报