代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究

名古屋大学博士学位論文 学位の種類:工学博士 (課程) 学位授与年月日:平成4年1月31日

Bibliographic Details
Main Authors: 酒井, 正彦, Sakai, Masahiko
Language:ja
Published: 1992
Online Access:http://hdl.handle.net/2237/6664