<< Recency Types for Analyzing Scripting Languages | ホーム | 本 >>

Declarative Intraprocedural Flow Analysis of Java Source Code

Java のソースコードを対象に関数内制御フロー解析、関数内データフロー解析を拡張した属性文法によって宣言的に書きました、という論文。書けてるのはわかるけど、JastAdd の上に完全に乗っているせいか、裏側が見えなくて実装の参考にはならない感じ。

author="Emma Nilsson-Nymana and Görel Hedina and Eva Magnussona and Torbjörn Ekman",
title="{Declarative Intraprocedural Flow Analysis of Java Source Code}",
journal="ENTCS",
volume="238",
number="5",
pages="155--171",
year="2009"

http://dx.doi.org/10.1016/j.entcs.2009.09.046

タグ : ,



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