Charlie Murphy

この論文では、インタプリタを使って形式意味論を自動で作成する方法を紹介してるよ。