The design of a high-level, language-independent symbolic debugging system

Abstract

The design of a language-independent, interactive system to facilitate the analysis and symbolic debugging of computer programs written in high-level languages is presented. The design criteria of such a system are enumerated, and its realization is illustrated by examples of debugging commands and procedures encoded in a debugging language.