«前の日記(2006-10-01) 最新 次の日記(2006-10-03)» 編集

netail.net

自作フリーソフトや,ゲームに関する雑記を公開してます.
日記はソフトウェア工学の論文ネタが中心です.

最近のお知らせ (古いものはこちら)


2006-10-02 [長年日記]

_ bddbddbのドキュメント修正

bddbddbの使い方について,最新のソースはCVSじゃなくてSubversionで管理されている,と東大の青谷さんからご指摘いただいたのを反映しました.といって,単に注意書き足しただけなんですが.

bddbddb自体はタプルの集合(リレーション)をBDD形式で保存して,Datalog言語を使って操作するためのツールなので,Javaバイトコードから情報を取り出してbddbddbに変換するjoeqというツールの部分を作り変える(あるいは自作する)と,色々プログラム解析に使えると思います.

この手のlogic programmingの処理系を使ってデータ解析部分を手早く実装するというのがツール作る人たちの最近の流行な気がするので,1つくらいは使い方を知っておくと今後役立ちそうだという印象があります.

お名前:
E-mail:
右の画像に書かれている文字列を入力してください:
コメント: