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

コメント追加

投稿者 kw : 2009/12/30 18:07:00 JST #

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

コメント追加

投稿者 kw : 2009/12/30 14:14:00 JST #