CiNii 論文 -
A-031 コンパイラ構築の証明論的枠組み(モデル・アルゴリズム・プログラミング,一般論文)
本発表では,コンパイラを系統的に構築することを可能にする証明論的な枠組みを提案する.本枠組みでは,ソース言語,ターゲットの機械語言語,さらにコンパイル段階に現れる中間言語は,すべて,論理学の証明システムとして表現され,コンパイルの各段階は,それら証明システム間の証明変換として表現される.さらに,それら証明システム間の証明変換は,証明システムのカット除関係を保存することを示すことができる.この表明論的枠組みは構成的であり,証明システム間の変換が可能であると言う性質の証明から,対応するコンパイル段階を実現する 16週間前
| URL: | http://ci.nii.ac.jp/naid/110008100221 |
|---|---|
| 『ci.nii.ac.jp』の他のエントリー | |
| ブログ: | 『ci.nii.ac.jp』のエントリーをブログに貼り付ける |
| http://tweetbuzz.jp/tb/2160533001 | |
| カテゴリー: | 教育 |
| キーワード: | コンパイラ コンパイル段階 モデル・アルゴリズム |
| 購読: | Follow @2bkm |
ci.nii.ac.jp 最近人気のエントリー
今とても重要な論文だと思います。伊藤正純「スウェーデンの税における"負担と受益の見える化"」『摂南経済研究』
今とても重要な論文だと思います。伊藤正純「スウェーデンの税における"負担と受益の見える化"」『摂南経済研究』http://t.co/heeXls9N「なぜスウェーデン人は高い税金を徴収されても不満を言わないのか。負担と受益の関係が"見える化"しているという感覚があるからだ。」
こんな論文どうですか？ 敗軍の将、兵を語る 衆院選スペシャル(笹川 堯ほか),2009 http://t.co/PpV33deR 193…
CiNii 論文 - 「社会化と教育」--西ドイツ教育学における議論から
昼食へ。 今井康雄（1984）「社会化と教育：西ドイツ教育学における議論から」 『教育学研究』 51(2), p166-177, 1984-06 http://t.co/4eb8j3RO 肩書きが「ゲッティンゲン大学学生」になっとるね。
こんな論文どうですか？ 所得税における控除制度の問題点(谷川 喜美江),2009 http://t.co/RhZG9v0K 昨今、我が国では厳しい…
CiNii 論文 - 8. なめこ栽培事業に就て(昭和十一年日本林學會春季大會講演要旨)
こんな論文どうですか？ 8. なめこ栽培事業に就て(昭和十一年日本林學會春季大會講演要旨)(伊藤 源治),1936 http://t.co/SheeOvG1