ようこそ ゲスト さん
雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
このアイテムのアクセス数:
100
件
(
2021-01-17
12:38 集計
)
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/26458
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
IEICE_J67-D_10_1115
pdf
1.0 MB
121
論文情報
タイトル
関数型言語ASL/Fのコンパイル時における最適化
別タイトル
Optimization of Functional Language ASL/F Programs
タイトル (ヨミ)
カンスウガタ ゲンゴ ASL/F ノ コンパイル ジ ニ オケル サイテキカ
著者
関, 浩之
関, 浩之
井上, 克郎
井上, 克郎
谷口, 健一
谷口, 健一
嵩, 忠雄
嵩, 忠雄
著者の別表記
Seki, Hiroyuki
Inoue, Katsuro
Taniguchi, Kenichi
Kasami, Tadao
著者 (ヨミ)
セキ, ヒロユキ
イノウエ, カツロウ
タニグチ, ケンイチ
カサミ, タダオ
抄録
関数型言語は,意味の定義が簡明である等の利点を持つが,通常の計算機上で効率良く実行するためのコンパイルや最適化の方法については,ほとんど研究されていない.本論文では,関数型言語ASL/Fプログラムを手続き的な目的プログラムにコンパイルする際の,いくつかの最適化の問題を定式化し,これらの最適化が行えるためのいくつかの十分条件を与える.最適化項目として,従来考察されていなかった「必須引数先評価」や「(配列等の)ソート(データタイプ)の大域化」を導入する.これらの他に,共通部分項の重複計算の除去,末端再帰の除去,コンパイル時の書換えを行う試作コンパイラを用いて例プログラムの実行効率を測定した結果,このような最適化により,目的プログラムの実行時間と動的記憶域使用量が大きく減少すること,Pascal等の手続き的言語と同程度の時間で実行できることがわかった。
公開者
電子情報通信学会
公開者の別表記
The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)
デンシ ジョウホウ ツウシン ガッカイ
掲載誌名
電子情報通信学会論文誌D
巻
J67-D
号
10
開始ページ
1115
終了ページ
1122
刊行年月
1984-10-25
ISSN
09135731
NCID
AN10013389
URL
http://hdl.handle.net/11094/26458
関連情報 (references)
http://search.ieice.org/
権利情報
copyright©1984 IEICE
言語
日本語
カテゴリ
学術雑誌論文 Journal Article
論文詳細を表示
著者版フラグ
publisher
NII資源タイプ
学術雑誌論文
ローカル資源タイプ
学術雑誌論文
dcmi資源タイプ
text
DCTERMS.bibliographicCitation
電子情報通信学会論文誌D.J67-D(10) P.1115-P.1122
DC.title
関数型言語ASL/Fのコンパイル時における最適化
DCTERMS.alternative
Optimization of Functional Language ASL/F Programs
DC.creator
関, 浩之
井上, 克郎
谷口, 健一
嵩, 忠雄
DC.creator
Seki, Hiroyuki
Inoue, Katsuro
Taniguchi, Kenichi
Kasami, Tadao
DC.publisher
電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766
日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF
1984-10-25
DC.identifier" scheme="DCTERMS.URI
http://hdl.handle.net/11094/26458
DCTERMS.abstract
関数型言語は,意味の定義が簡明である等の利点を持つが,通常の計算機上で効率良く実行するためのコンパイルや最適化の方法については,ほとんど研究されていない.本論文では,関数型言語ASL/Fプログラムを手続き的な目的プログラムにコンパイルする際の,いくつかの最適化の問題を定式化し,これらの最適化が行えるためのいくつかの十分条件を与える.最適化項目として,従来考察されていなかった「必須引数先評価」や「(配列等の)ソート(データタイプ)の大域化」を導入する.これらの他に,共通部分項の重複計算の除去,末端再帰の除去,コンパイル時の書換えを行う試作コンパイラを用いて例プログラムの実行効率を測定した結果,このような最適化により,目的プログラムの実行時間と動的記憶域使用量が大きく減少すること,Pascal等の手続き的言語と同程度の時間で実行できることがわかった。
DC.rights
copyright©1984 IEICE
citation_title
関数型言語ASL/Fのコンパイル時における最適化
citation_author
関, 浩之
井上, 克郎
谷口, 健一
嵩, 忠雄
citation_publisher
電子情報通信学会
citation_language
日本語
citation_date
1984-10-25
citation_journal_title
電子情報通信学会論文誌D
citation_volume
J67-D
citation_issue
10
citation_firstpage
1115
citation_lastpage
1122
citation_issn
09135731
citation_public_url
http://hdl.handle.net/11094/26458