Source Academy Stepper

Motivation

The Stepper addresses the challenge many students face in understanding program execution, particularly within functional programming. By visualizing the step-by-step execution of programs in the JavaScript sublanguage Source §2, this tool aims to make complex programming concepts accessible and engaging for learners.

Features

• Visual Execution: Offers a clear, step-by-step breakdown of program evaluation in Source §2.
• Substitution Model: Provides a visual understanding of the substitution model, key to grasping functional programming evaluation.
• Interactive Learning: Fully integrated with the Source Academy for an engaging, hands-on educational experience.

Contributions

• Specification Alignment: Adjusted the stepper to match Source §2 specifications more precisely.
• Enhanced Test Cases: Extended the range of test cases to cover more programming examples.
• Improved Reliability: Implemented multiple bug fixes to boost the stepper's performance and accuracy.

References

• Stepper Specification: https://docs.sourceacademy.org/source_2_stepper.pdf
• Stepper Paper: https://www.comp.nus.edu.sg/~henz/publications/pdf/stepper.pdf