There are several
DebuggingTechniques for debugging Stratego programs. More support from the
StrategoCompiler could be useful sometimes.
Tracing
Since
StrategoRelease062 there is some support for letting the compiler instrument a program to trace the strategies called. Compilation with the flag
--trace-all leads to tracing of all strategy definitions and rules.
Animation
The tracing could be improved to produce input for debugging frameworks such as
PieterOlivier's Tide that can be used to animate the execution of a program. Besides debugging this could be useful for explaining the operational semantics of Stratego programs.
--
EelcoVisser - 09 Dec 2001
ToDo |
CategoryToDo?