An experimental debugger in a limited programming environment
Zen Kishimoto · ACM SIGPLAN Notices · 1983
This paper describes a debugger feature of a system that supports a limited programming environment for program validation, revalidation and debugging. The debugger in this system is tightly coupled with other tools through a database which is used as a central repository. The execution by this system is based on the hardware independent intermediate codes and, thus, the system has the potential to be multilingual. The debugger supports backward execution, provides both normal and symbolic execution results, and allows source-level debugging.