![[MrSpidey logo]](logo.gif)
MrSpidey
(.*)
MrSpidey is a interactive static debugger for Scheme.
It:
- highlights operations that may cause errors;
- computes invariants describing the set of values each program expression
can assume; and
- provides a graphical explanation for each invariant.
The programmer can browse this information, and then resume program
development with an improved understanding of the program's execution
behavior, and in particular of potential run-time errors.
MrSpidey is a user-friendly, interactive static debugger for Scheme.
MrSpidey is an integrated part of DrScheme, our Scheme program
development environment, and runs under X Windows, Microsoft Windows,
and MacOS.
Getting MrSpidey
MrSpidey comes as an integral part of DrScheme, so get that and you're done!
Papers
Links
- DrScheme: a Scheme
development environment
- MrEd: the graphical engine
Back to the PLT Packages Page
![[PLT logo]](http://www.cs.rice.edu/CS/PLT/pltlogo.gif)
PLT
cormac@cs.rice.edu