@phdthesis{oai:nagoya.repo.nii.ac.jp:00005111, author = {酒井, 正彦 and Sakai, Masahiko}, month = {Jan}, note = {名古屋大学博士学位論文 学位の種類:工学博士 (課程) 学位授与年月日:平成4年1月31日}, school = {名古屋大学, Nagoya University}, title = {代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究}, year = {1992} }