A debugger is a tool that allows the programmer to view some aspect of the running program. This paper will present a specification of the debugger commands step and next for the call-by-value-calculus with constants. The operationally-defined CEK-machine will be extended to implement these commands in a way that is proven to be faithful to the specification. This theory will then be used to develop actual debuggers written in Scheme.
Date of creation, presentation, or exhibit
Department, Program, or Center
Computer Science (GCCIS)
Proceedings from the 2005 international LISP conference. ACM
RIT – Main Campus