Stratego Debug

Stratego -- Strategies for Program Transformation
There are several DebuggingTechniques for debugging Stratego programs. More support from the StrategoCompiler could be useful sometimes.


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.


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?