Systematic Debugging of Attribute Grammars

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munich. cs.SE/0010035

Keywords

Software Engineering, D.2.5

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/30468

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0011029
 http://arxiv.org/abs/cs/0011029

Collections

arXiv