Advice about debugger construction

Show full item record

Title: Advice about debugger construction
Author: Nunes-Harwitt, Arthur
Abstract: 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.
Description: Copyright 2005 ACM. Proceedings from the 2005 international LISP conference. Please see www.acm.org for more information.
Record URI: http://hdl.handle.net/1850/8763
Date: 2005

Files in this item

Files Size Format View
ANunes-HarwittProceedings2005.pdf 87.99Kb PDF View/Open

The following license files are associated with this item:

This item appears in the following Collection(s)

Show full item record

Search RIT DML


Advanced Search

Browse