<< 2009/12/29 | ホーム | 2009/12/31 >>

No Image

読了。アブダクションは演繹、帰納のどちらでもない第 3 の推論。「B である、A ならば B である、よって A は真らしい」という形。

タグ :

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

タグ : ,