関数型言語の解析・検証・効率的実行のための書換え系理論の研究

著者

• 酒井, 正彦 サカイ, マサヒコ
• 坂部, 俊樹 サカベ, トシキ
• 草刈, 圭一朗 クサカリ, ケイイチロウ
• 西田, 直樹, 19-- ニシダ, ナオキ
• 粕谷, 英人 カスヤ, ヒデト

書誌事項

関数型言語の解析・検証・効率的実行のための書換え系理論の研究

酒井正彦 [ほか著]

[出版者不明], 2006.4

タイトル別名

平成14年度〜平成17年度科学研究費補助金(基盤研究(C))研究成果報告書

タイトル読み

カンスウガタ ゲンゴ ノ カイセキ ケンショウ コウリツテキ ジッコウ ノ タメ ノ カキカエケイ リロン ノ ケンキュウ

注記

課題番号:15500007

研究分担者:坂部俊樹, 草刈圭一朗, 西田直樹, 粕谷英人

詳細情報

• NII書誌ID(NCID): BA80128235
• 出版国コード: xx
• タイトル言語コード: jpn
• 本文言語コード: engjpn
• 出版地: [出版地不明]
• ページ数/冊数: v, 105p
• 大きさ: 30cm