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?

Revision: r1.1 - 09 Dec 2001 - 12:44 - EelcoVisser
Stratego > CompilerImprovements > StrategoDebug
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback