ClojureのためのJavaバイトコード操作ライブラリの設計と実装化

UMATANI Seiji; UGAWA Tomoharu; YASUGI Masahiro

文献

J-GLOBAL ID：201502203611040421 整理番号：15A1070681

ClojureのためのJavaバイトコード操作ライブラリの設計と実装化

Design and Implementation of a Java Bytecode Manipulation Library for Clojure

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=15A1070681&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=15A1070681&from=J-GLOBAL&jstjournalNo=U0109A") }}

著者 (3件)： , ,
資料名：
巻： 23 号： 5 ページ： 716-729 (J-STAGE) 発行年： 2015年
JST資料番号： U0109A ISSN： 1882-6652 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：英語 (EN)

近年,Javaバーチャルマシン(JMA)は,様々なアプリケーションのための共通実行プラットフォームとして広く使用されるようになった。特に,プログラム動作の動的改造を要求するようなアプリケーション領域において,クラスロード時間でバイトコードを操作する必要が頻繁に発生する。そのような動作を実装するためのJava向けのバイトコード操作ツールがいくつか存在するが,JVMも現代の様々なプログラミング言語のためのプラットフォームであり,Java専用のバイトコード操作プログラムを書く必要はない。本論文では,JVM上で実行されるLispダイアレクトであるClojureのための新しいJavaバイトコード操作ライブラリを提案した。本ライブラリは,Javaにおけるデファクトスタンダードのバイトコード操作ツールであるASMと同程度の表現性とフレキシビリティを有している上に,より簡便な代表的操作事例の表現を可能にした。本ライブラリは,ターゲットクラスファイルを表現するツリーの(一部の)書換えの系として,基本的にはLispのマクロシステムと同様の方法で,クラスロード時間で動作する。しかし,本ライブラリは,Lispのマクロシステムとは以下の点において大きく異なる。まず,ターゲット形式(ツリー)の最初の項目に対して単一の名前をマッチングさせる代わりに,本ライブラリではマクロ拡張中にターゲットツリーそれ自体に対してツリーンパターンのマッチングをおこなう。そうすることにより,ユーザは,パターンマッチングのための特別なタグ(名前)を有することが一切できない生クラスファイルに関する書換えルールを定義できる。さらに,ツリーパターンマッチングと同時に,本ライブラリは,いかなる情報も静的文脈から容易に抽出することができるので,ユーザはそのような情報のための厄介なマニアル管理をする必要がない。(翻訳著者抄録)

, , , , ,
, ,

計算機システム開発

引用文献 (22件)：

[1] Bodden, E. and Havelund, K.: Aspect-oriented Race Detection in Java, IEEE Trans. Software Engineering, Vol.36, No.4, pp.509-527 (2010).
[2] Brüggemann-Klein, A. and Wood, D.: Caterpillars: A context specification technique, Markup Languages: Theory and Practice, Vol.2, No.1, pp.81-106 (2000).
[3] Clark, J. and DeRose, S.: XML path language (XPath), available from <http://www.w3.org/TR/xpath/> (1999).
[4] Comon, H., Dauchet, M., Gilleron, R., Löding, C., Jacquemard, F., Lugiez, D., Tison, S. and Tommasi, M.: Tree Automata Techniques and Applications, available from <http://www.grappa.univ-lille3.fr/tata> (2007).
[5] de Moor, O. and Sittampalam, G.: Higher-order matching for program transformation, Theoretical Computer Science, Vol.269, No.1-2, pp.135-162 (2001).

, , , ,

前のページに戻る