氏名: 袴田眞史 (089333497)

論文題目: プログラムのセマンティック検索とその実現


論文概要

プログラムの記述中からある部分を検索する場合、プログラマはgrepなどの 文字列検索ツールを利用することが多い。しかし、これでは、プログラムのも つ構文情報や、識別子の名前空間の情報などの、プログラムの意味(セマンティッ ク)となる情報を、十分には利用できない。
そこで、プログラムのセマンティックを利用する検索というものを考えたと き、プログラムの複雑なセマンティックは、単なる文字列の検索だけではなく、 構文のパターンマッチや、識別子の定義・参照関係の検索などの『小さな』検 索の組合せで検索可能である。
ここでは、検索対象の言語を Cとし、プログラムの検索に必要な『小さな』検 索機能にはどのようなものが必要なのかを考察した。また、実際にそれらを機 能として組み込んだブラウザを設計、実現した。
目次に戻る