使用 MPS 实施 CERT 规则

Question

我正在尝试为 CERT Java 编码指南开发 DSL。那个时候我得到了一个叫做jetbrains MPS的框架。我尝试了jetbrains网站上的大部分文档。但这些对我的工作来说还不够。两个疑问是我能否使用 MPS 实施 CERT Java 编码指南，并且任何人都知道与此相关的任何以前的工作和好的文档。

Answer 1

我不知道 CERT 是什么，但我们确实大量使用了 MPS，并付出了很多努力让其他人也能做到这一点。我们在 MPS 内部开发一个名为 mbeddr 的开源 C 实现。除了它是一个 C 实现这一事实之外，我们还开源了我们对 MPS 的扩展，这些扩展在 C 语言中通常很有用。该博客还包含一些关于如何在 MPS 中构建语言的见解，还有一个论文部分，您可以在其中找到有关构建语言的各个方面（使用 MPS）。还有一些方法可以与我们取得联系。