形式的に検証された言語フレームワーク「Minuska」の紹介

Minuskaは、言語定義から検証済みのインタプリタを生成することができる、形式的に検証されたプログラミング言語フレームワークである。