線形再帰プログラムからの再帰除去法の実現とその問題点

• Item type: SIG Technical Reports(1)
• 公開日: 1998-03-23
• タイトル: 線形再帰プログラムからの再帰除去法の実現とその問題点
• タイトル / 言語: en
• タイトル: Implementation of Recursion Removal System for Linear Recursive Programs and its Problems
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 早稲田大学大学院理工学研究科
• 著者所属: 早稲田大学大学院理工学研究科
• 著者所属: 早稲田大学大学院理工学研究科
• 著者所属: 早稲田大学理工学部
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Engineering, Waseda University
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Engineering, Waseda University
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Engineering, Waseda University
• 著者所属(英): en
• 著者所属(英): School of Science and Engineering, Waseda University
• 著者名: 坂本, 巨樹; 川本, 史生; 小西, 善二郎; 二村, 良彦
• 著者名(英): Naoki, Sakamoto; Fumio, Kawamoto; Zenjiro, Konishi; Yoshihiko, Futamura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 再帰プログラムは書きやすく読みやすい場合が多いが，計算機で実行する際には手続き呼び出しとスタック操作が必要である．それゆえ，与えられた再帰プログラムをスタックを使用せずしかも計算量も増加させずに，反復型プログラムに変換する方法が古くから研究されている．我々は，線形再帰プログラム （再帰呼び出しを実質的に1個所でしか行なわないプログラム） を計算量やスペース使用量を増やさずに反復型プログラムに変換する方法 （再帰除去法） について先に報告した．その後，我々はその報告に基づき，線形再帰プログラムを能率のよい反復型プログラムに自動変換する再帰除去システムをLispを用いて実現した．本稿では，その実現法，適用例及び問題点について報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Recursive Programs are often easy to write and read, but in executing on computers, they require procedure calls and stack operations. Therefore, methods to transform given recursive programs into iterative ones without using stack and increasing amount of computation time have been studied. We have already proposed methods to transform a linear recursive program, which essentially include only one recursive procedure call in it. Later on, we implemented the system of transforming linear recursive programs into efficient iterative programs automatically, based on our proposed methods, in Lisp. This paper describes the way of implementation, applicable examples and the problems with the implementation.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1998, 号 30(1997-PRO-018), p. 159-164, 発行日 1998-03-23
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会