compiler

コンパイラ正当性検証。 コンパイラの正当性とは、 ソース言語の意味がそれをコンパイルして得られるターゲット言語の意味と一致することです。 ここではターゲットはスタックマシン命令セットとしています。 While文, 関数呼び出しが含まれる言語についても 現在取り組んでいます。