Coming soon.

MrFlow is a user friendly, interactive static debugger for PLT Scheme that

• 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.

System Requirements:

• PLT Scheme