DrRacket предоставляет Stepper - это одна из кнопок на панели инструментов - которая показывает последовательность программ, написанных на начальном и среднем языках для учащихся, в виде последовательности шагов.Его интерфейс не так хорош, как страница, на которую вы указываете - как автор Stepper, я могу сказать это с уверенностью, - но это инструмент визуализации в том же духе, что и описанный вами.