講演名 1997/1/24
手続き型言語での再帰の除去について
北川 拓, 渡辺 坦,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 再帰呼び出しを用いたプログラムは、同じ処理を再帰を用いずに書いた場合と比べて実行するのに時間とメモリを多く必要とする。そのため、再帰呼び出しに対する最適化が望まれるが、それの実装されているコンパイラはわずかしか無い。本稿では、線形再帰を末尾再帰に変換して最適化する方法を提案し、実装を行なった。この方式は Arsac と Kodratoff によって提案された方法を改良したもので、彼らの方法では末尾再帰の変換に発見的方法を用いているが、それを本稿では探索を実装に適したアルゴリズミックな手順で実現している。
抄録(英) Execution overhead of recursive call is high and it is desirable to improve its object code. However, only a few compilers do it. We propose a technique of object code optimization for recursive calls and implemented it in our complier. In this technique, liner recursion is transformed to tail recursion by using Arsac and Kodratoff's method and then transformed to loop. Arsac and Kodratoff use heuristic method in finding tail recursion function, but we propose an algorithmic method suitable for computer.
キーワード(和) 再帰プログラム / 再帰除去 / コンバイラ / 最適化
キーワード(英) recursive program / recursion removal / complier / optimization
資料番号 COMP96-71
発行日

研究会情報
研究会 COMP
開催期間 1997/1/24(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Theoretical Foundations of Computing (COMP)
本文の言語 JPN
タイトル(和) 手続き型言語での再帰の除去について
サブタイトル(和)
タイトル(英) Removal of recursive call in procedural language
サブタイトル(和)
キーワード(1)(和/英) 再帰プログラム / recursive program
キーワード(2)(和/英) 再帰除去 / recursion removal
キーワード(3)(和/英) コンバイラ / complier
キーワード(4)(和/英) 最適化 / optimization
第 1 著者 氏名(和/英) 北川 拓 / Taku Kitagawa
第 1 著者 所属(和/英) 電気通信大学情報工学科
Department of Computer Science, University of Electro-Communications
第 2 著者 氏名(和/英) 渡辺 坦 / Tan Watanabe
第 2 著者 所属(和/英) 電気通信大学情報工学科
Department of Computer Science, University of Electro-Communications
発表年月日 1997/1/24
資料番号 COMP96-71
巻番号(vol) vol.96
号番号(no) 488
ページ範囲 pp.-
ページ数 7
発行日