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

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

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

id	ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-6664
record_format	oai_dc
spelling	ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-66642013-06-27T03:28:02Z代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究酒井, 正彦Sakai, Masahiko名古屋大学博士学位論文学位の種類:工学博士 (課程) 学位授与年月日:平成4年1月31日1992-01-31Thesishttp://hdl.handle.net/2237/6664ja
collection	NDLTD
language	ja
sources	NDLTD
description	名古屋大学博士学位論文学位の種類:工学博士 (課程) 学位授与年月日:平成4年1月31日
author	酒井, 正彦 Sakai, Masahiko
spellingShingle	酒井, 正彦 Sakai, Masahiko 代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
author_facet	酒井, 正彦 Sakai, Masahiko
author_sort	酒井, 正彦
title	代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
title_short	代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
title_full	代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
title_fullStr	代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
title_full_unstemmed	代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
title_sort	代数的手法に基づくコンパイラの仕様記述・検証・自動生成に関する研究
publishDate	1992
url	http://hdl.handle.net/2237/6664
work_keys_str_mv	AT jiǔjǐngzhèngyàn dàishùdeshǒufǎnijīdzukukonpairanoshìyàngjìshùjiǎnzhèngzìdòngshēngchéngniguānsuruyánjiū AT sakaimasahiko dàishùdeshǒufǎnijīdzukukonpairanoshìyàngjìshùjiǎnzhèngzìdòngshēngchéngniguānsuruyánjiū
_version_	1716589678886387712

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

Similar Items