属性文法に対する系統的デバッグ方式

抄録

属性文法は,コンパイラの定式化の分野などで広く用いられている.しかし,属性文法で記述したソフトウェアのデバッグ法は,いまだに確立していない.本研究は,論理型言語のデバッグ法として提案されたアルゴリズミック・デバッギングの手法による,属性文法のデバッグ方式を提案するものである.本稿では,属性文法に仮想的な関数を導入することにより,アルゴリズミック・デバッギングが適用可能であることを示し,さらに属性文法の特長を生かしたアルゴリズミック・デバッギングの拡張を提案する.また,本手法がほぼすべてのクラスの属性文法に適用できることを,属性評価器との対応で述べる.本論文は主に理論的な枠組に重点をおいたものであるが,デバッガのプロトタイプを実装して以上の点を確認した結果も併せて示す.