Description

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

2005

Comments

Copyright 2005 ACM. Please see www.acm.org for more information.

Document Type

Conference Proceeding

Department, Program, or Center

Computer Science (GCCIS)

Campus

RIT – Main Campus

Share

COinS