Systematic Debugging of Attribute Grammars
软件工程
2007-05-23 v1
摘要
Although attribute grammars are commonly used for compiler construction, little investigation has been conducted on debugging attribute grammars. The paper proposes two types of systematic debugging methods, an algorithmic debugging and slice-based debugging, both tailored for attribute grammars. By means of query-based interaction with the developer, our debugging methods effectively narrow the potential bug space in the attribute grammar description and eventually identify the incorrect attribution rule. We have incorporated this technology in our visual debugging tool called Aki.
引用
@article{arxiv.cs/0011029,
title = {Systematic Debugging of Attribute Grammars},
author = {Yohei Ikezoe and Akira Sasaki and Yoshiki Ohshima and Ken Wakita and Masataka Sassa},
journal= {arXiv preprint arXiv:cs/0011029},
year = {2007}
}
备注
In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munich. cs.SE/0010035