Theia: automatically generating correct program state visualizations
Josh Pollock, Jared Roesch, Doug Woos, Zachary Tatlock · 2019
Program state visualizations (PSVs) help programmers understand hidden program state like objects, references, and closures. Unfortunately, existing PSV tools do not support custom language semantics, which educators often use to introduce programming languages gradually. They also fail to visualize key pieces of program state, which can lead to incorrect and confusing visualizations.