netail.net

_ 研究会登録費補助 ▲

情報処理学会の学生会員に対する研究会登録費補助は，平成17年度は１研究会に限って登録費が *無料* になるとのこと．ありがたい．

http://www.ipsj.or.jp/09sig/kenkyukai/student17.html

_ [論文]ルールベースでのスライシングの実装 ▲

Mathieu Verbaere の修士論文，Program Slicing for Refactoring の４章: Slicing using inference rules を読んでみた．

{parsed statements, Context, slicing result} の３つ組を特定ルールに基づいて更新していくことでスライシングを実現している．

使うのは，各命令での Ref 集合と Def 集合で，Context は，各変数がそれ以降で参照される可能性があるか（もしくは上書きされるだけなのか）を保存している．

呼び出し位置ごとに個別に処理を行う Context-sensitive なスライシングの実装となっているみたい．

グラフ上での処理に比べるとアルゴリズムが厳密に記述されている感じはする．計算されるスライスとしては，ほとんど Summary Edge を使った SDG の作成と変わらないようだが，メソッドごとの PDG を全体の SDG として接続する場合に比べて，手続きごとに作られた３つ組を呼び出し文ごとにマージする処理として記述されるので，「メソッド単位での処理結果」が再利用される様子が分かりやすい．