代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
名古屋大学博士学位論文 学位の種類:工学博士 (課程) 学位授与年月日:平成4年1月31日
Main Authors: | 酒井, 正彦, Sakai, Masahiko |
---|---|
Language: | ja |
Published: |
1992
|
Online Access: | http://hdl.handle.net/2237/6664 |
Similar Items
-
代数的手法に基づくプログラミング言語の仕様記述法とプログラム検証に関する研究
by: 北, 英彦
Published: (1989) -
マルチエージェント指向図形オントロジーに基づく図形処理システムの仕様記述・検証
by: 外山, 勝彦
Published: (2005) -
実時間システムの仕様記述と検証に関する研究
by: 山根, 智
Published: (2015) -
自動ベクトル化Pascalコンパイラに関する研究
by: 國枝, 義敏
Published: (2013) -
プロトコル検証に基づく不正通信ホスト識別手法の研究
by: 北川, 直哉
Published: (2014)