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"