Featherweight Javaを対象としたプログラム変換に対する型システムの提案

• Item type: Trans(1)
• 公開日: 2008-09-26
• タイトル: Featherweight Javaを対象としたプログラム変換に対する型システムの提案
• タイトル / 言語: en
• タイトル: Proposal of a Type System for Program Translation on Featherweight Java
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 神戸大学大学院工学研究科情報知能学専攻
• 著者所属: 神戸大学大学院工学研究科情報知能学専攻
• 著者所属: 神戸大学大学院自然科学研究科情報知能工学専攻／現在，ソニー株式会社
• 著者所属(英): en
• 著者所属(英): Department of Computer and Systems Engineering, Faculty of Engineering, Kobe University
• 著者所属(英): en
• 著者所属(英): Department of Computer and Systems Engineering, Faculty of Engineering, Kobe University
• 著者所属(英): en
• 著者所属(英): Graduate School of Science and Technology, Kobe University / Presently with Sony Corporation
• 著者名: 草野, 直樹; 鎌田十三郎; 川上, 祐介
• 著者名(英): Naoki, Kusano; Tomio, Kamada; Yusuke, Kawakami
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Javaにおいて，プログラムに分散化やプロファイル等の機能を付加するためにプログラム変換が利用されている．これらのプログラム変換をユーザが記述する任意のプログラムに適用する場合は，変換後プログラムに型エラーが起きないと事前に保証されることが望まれる．しかし，既存のバイトコード変換系であるASMやBCEL等では，変換後プログラムの型安全性保証は行われない．また，ユーザコードの書き換えを行うアスペクト指向言語は主に既知のプログラムに対して利用されることを想定しているため，任意のプログラムに適用される変換の型安全性はあまり研究されていない．本発表はJavaにおけるプログラム変換の型安全性保証を目指した試みとして，Featherweight Javaを対象とするプログラム変換系Fpと，変換後プログラムが型安全かどうかを調べるための型システムを提案する．Fpではパターンマッチ機構により変換対象プログラムの構造情報を把握し，各パターンに応じたコード断片の追加が可能である．Fpの型システムでは，1) 新規メンバの追加によりメンバ重複が発生しないことおよび，2) calleeとcaller間での型整合性を判定する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In Java, program translation is used to attach new features (such as remote method invocations or profiling) to user programs. When these program translations are applied to various user programs, it is desirable to statically assure that translated programs do not involve problems in static typing. However, existing bytecode translation frameworks such as ASM or BCEL do not provide such assurance. As AOP language systems mainly assume to weave code fragments into specific target programs, only a few research treats type safeness of program translation applied to various programs. This presentation makes a trial to provide some kind of type safeness of Java program translation. We propose a program translation framework called Fp based on Featherweight Java, and its type system that statically check whether translated programs from arbitrary programs will be type safe. Fp uses pattern matching to grasp structural characteristic of target programs, and allows weaving of code fragments based on the matched patterns. Type system of Fp checks 1) conflicts among member names caused by added new members and 2) type safety among callee/caller pair.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 1, 号 2, p. 127-127, 発行日 2008-09-26
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会