Qinxiang Cao

プログラミング言語の意味論を扱うための集合と関係を使った教え方ガイド。

新しいフレームワークがコンパイラの検証方法を強化して、より正確になるよ。