<< Model-Checking Real-Time Control Programs - Verifying LEGO Mindstorms Systems Using UPPAAL | ホーム | An Extensible Meta-Model for Program Analysis >>

Cross-Language Program Analysis and Refactoring

複数のプログラミング言語を対象としたメタモデルを定義して、メソッドの名前変更のリファクタリングをやりました、という論文。JSP などのように一つのファイル内に異なる言語が混ざっているようなものも対象にしているのが特徴らしい。モデルは、抽象構文木とメタモデルへのマップと関係の生成系からなっている。メタモデルの詳細は別の論文に詳しいらしい。実際に物もできているみたいだけど、売り物なので実装の詳細等はまったく不明。

author="Dennis Strein and Hans Kratz and Welf L{\"o}we",
title="{Cross-Language Program Analysis and Refactoring}",
booktitle="Sixth IEEE International Workshop on Source Code Analysis and Manipulation",
publisher="IEEE Press",
pages="207--216",
year="2006"

タグ : ,



コメント追加 トラックバック送信