Home

MzTake: A Scriptable Debugger

The scripting in MzTake is done in the FrTime language. This connection is based on the observation that the program being monitored is a source of events, and FrTime is designed well to receive events from the outside world. Therefore, the script programmer has the full power of FrTime (which includes almost all of Scheme, graphical routines and some rudimentary GUI support, in addition to several event-based programming primitives) for automating program monitoring.

The site includes several examples that are worth checking even if you aren't planning on installing MzTake.

I like the idea of program monitoring. It is related to the notion of instrumentation, which is of course a well known sofware design technique.

This is yet another example of how language design can help handle software engineering issues.

By Ehud Lamm at 2004-08-10 06:00 | DSL | other blogs | 10233 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

More Great Stuff From PLT

The Rice-and-friends PLT team just keeps cranking out great stuff. In order to install and try out PLT-Redex I had to install a daily CVS build of the forthcoming post-208 DrScheme, which is totally worth doing. If you're familiar with DrScheme, you know it includes MrSpidey (historical)/MrFlow(current), a very nice static analyzer based on soft typing (this one's for you, Anton :-); FrTime (Functional Reactive Programming in Scheme), upon which MzTake is based; and of course the just-mentioned "reduction semantics" library, which has also been recently discussed here. In digging around my daily CVS pull, I see that they also have reimplemented Algol 60 (!) and much of O'Caml (!) This is in addition to all of the "How to Design Programs," "TeachScheme," "Essentials of Programming Languages," etc. support. DrScheme really is becoming a comprehensive, er, Programming Language Theory workbench.

My next little personal project will be to reimplement David McAllester's "Ontic" using the reduction semantics library. Wish me luck.

By Paul Snively at Tue, 2004-08-10 18:27 | login or register to post comments

Dataflow Language for Scriptable Debugging

See also A Dataflow Language for Scriptable Debugging by Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, and Steven P. Reiss.

(This was mentioned by Shriram in http://list.cs.brown.edu/pipermail/plt-scheme/2004-August/006336.html.)

By el-vadimo at Tue, 2004-08-10 21:07 | login or register to post comments

Scriptable GDB with Tcl

This looks like something in a similar vein, but maybe a bit more 'nitty gritty' in its aproach.

http://www.tcl.tk/community/tcl2004/Tcl2003papers/dejong.pdf

By David N. Welton at Fri, 2004-08-13 23:05 | login or register to post comments