図書

Proof-Theoretical Investigation on Machine Code and Code Generation : 機械語コード及びコード生成のための論理学的基礎の研究

Icons representing 図書

Proof-Theoretical Investigation on Machine Code and Code Generation : 機械語コード及びコード生成のための論理学的基礎の研究

Call No. (NDL)
Y151-H12680345
Bibliographic ID of National Diet Library
000007079799
Material type
図書
Author
大堀, 淳, 北陸先端科学技術大学院大学
Publisher
-
Publication date
2000-2001
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
Proof-Theoretical Investigation on Machine Code and Code Generation
Author/Editor
大堀, 淳, 北陸先端科学技術大学院大学
Author Heading
著者 : 大堀, 淳, 1957- オオホリ, アツシ, 1957- ( 00540736 )Authorities
Publication Date
2000-2001
Publication Date (W3CDTF)
2000
Extent
Additional Title
研究種目 基盤研究(C)
Subject Heading
プログラミング言語 プログラミングゲンゴ
論理学 ロンリガク
機械語 キカイゴ
コンパイル コンパイル
逆コンパイル ギヤクコンパイル
Curry-Howard同型 CURRY-HOWARDドウケイ