Theia: automatically generating correct program state visualizations
Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E(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.
Theia, a generic PSV framework, uses formal abstract machine definitions to produce complete, continuous, and consistent (CCC) PSVs.
To produce CCC visualizations with Theia, an educator only needs to specify an abstract machine and optionally customize the resulting web page, allowing her to visualize custom language semantics without developing a language-specific tool.
更多查看译文
关键词
CS1, CS2, abstract machine, notional machine, operational semantics, program visualization
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络