Linnk AI 다운로드
•
자율 연구 보조원
>
로그인
통찰
-
Minuska: 形式的に検証されたプログラミング言語フレームワーク
形式的に検証された言語フレームワーク「Minuska」の紹介
Minuskaは、言語定義から検証済みのインタプリタを生成することができる、形式的に検証されたプログラミング言語フレームワークである。
1