末尾再帰の最適化と一級継続を実現するためのJVM の機能拡張

• Item type: Trans(1)
• 公開日: 2001-11-15
• タイトル: 末尾再帰の最適化と一級継続を実現するためのJVM の機能拡張
• タイトル / 言語: en
• タイトル: JVM Extentions to Realize Tail Recursion Optimization and First - class Continuations
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 株式会社数理システム
• 著者所属: 京都大学大学院情報学研究科通信情報システム専攻
• 著者所属(英): en
• 著者所属(英): Mathematical Systems, Inc.
• 著者所属(英): en
• 著者所属(英): Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University
• 著者名: 山本, 晃成; 湯淺, 太一
• 著者名(英): Akishige, Yamamoto; Taiichi, Yuasa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: プログラミング言語の中には末尾再帰の最適化と一級継続を必須としているものがある．たとえばScheme ，Standard ML や他の関数型言語のほとんどがその機能を必要としている．これらの言語は，末尾再帰の効率によるところが大きく，また，継続が操作可能であることが言語の重要な特色でもある．しかし，Java 仮想マシン（JVM ）上で末尾再帰の最適化と一級継続を実現することは困難である．これはJVM の仕様がそれらを実現するための機構を十分に提供していないことが要因である．実際に，JVM のバイトコードを出力する様々なコンパイラが実装されているにもかかわらず，JVM の制限のために，言語が要求する完全な機能を実現できていないものが少なからず存在する．そこで，JVM で末尾再帰の最適化と一級継続を実現するために，いくつかのバイトコード命令とその実行を補うためのクラスを拡張することを検討する．様々な拡張方法や実現方法が考えられるが，JVM の基本設計は可能な限り尊重し，最低限の拡張でかつ効果的にこれらの機能を実現可能にすることを目標とする．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: There are several programming languages that require tail recursion optimization and first-class continuations.Scheme,Standard ML,and several other mostly functional languages require these features.These languages rely heavily on the efficiency of tail recursion,and the ability of controlling continuationsisone of the important features.However, it is difficult to implement tail recursion optimization and first-class continuations on the Java Virtual Machine (JVM),because the JVM specification does not provide features to realize them. Although variouscompilersare implemented that produce JVM byte code,some of them cannot realize full language features because of the restriction of the JVM specification.In this research, we propose byte code extensions and classes to support their execution to realize tail recursion optimization and first-class continuations on the JVM.Although there are various ways to extend it and implement them,we aim at having respect for the basic design of the JVM as far as possible and realizing them efficiently with minimum extensions.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 42, 号 SIG11(PRO12), p. 37-51, 発行日 2001-11-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会