| Compiler generation systems have contributed significantly to our ability to quickly and reliably develop translators for languages that include small domain-specific languages, preprocessor extensions to existing languages, and full blown compilers. With these new translators and languages comes a need for programming support tools, such as debuggers. This thesis describes and demonstrates a framework for generating debuggers quickly and reliably from specifications, including the ability to modify translators in support of debugging. The framework consists of a number of adaptations and additions to a compiler generation system to support the construction of debuggers. The adapations and additions facilitate the generation of debuggers using the same set of tools as are used in generating translators. Using the same tools allows for significant reuse of specifications. |
