Baixe o Linnk AI
•
Assistente de Pesquisa Autônomo
>
Entrar
insight
-
Minuska: 形式的に検証されたプログラミング言語フレームワーク
形式的に検証された言語フレームワーク「Minuska」の紹介
Minuskaは、言語定義から検証済みのインタプリタを生成することができる、形式的に検証されたプログラミング言語フレームワークである。
1