関数型言語ASL/Fのコンパイル時における最適化

関, 浩之; 井上, 克郎; 谷口, 健一; 嵩, 忠雄

このアイテムのアクセス数:99件（2020-11-25 09:04 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/26458

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
IEICE_J67-D_10_1115	pdf	1.0 MB	119

論文情報

タイトル	関数型言語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

閲覧可能ファイル

論文情報

論文詳細を表示