Literate execution treats documentation and visualizations as dynamic, computable parts of program execution via provenance tracking, inverting traditional literate programming to make programs more explorable.
InProceedings of the 44th ACM Technical Symposium on Computer Science Education (SIGCSE 2013)
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 3verdicts
UNVERDICTED 3roles
background 1polarities
background 1representative citing papers
ANVIL automates analogy-based instructional animations for computer science by chaining LLM analogy generation, screenplay structuring, manim code production with repair, and mixed human-automated evaluations.
Debugging tools should present execution history in time order to support better hypothesis generation about program behavior.
citing papers explorer
-
Literate Execution
Literate execution treats documentation and visualizations as dynamic, computable parts of program execution via provenance tracking, inverting traditional literate programming to make programs more explorable.
-
ANVIL: Analogies and Videos for Lecturers
ANVIL automates analogy-based instructional animations for computer science by chaining LLM analogy generation, screenplay structuring, manim code production with repair, and mixed human-automated evaluations.
-
Tracers for debugging and program exploration
Debugging tools should present execution history in time order to support better hypothesis generation about program behavior.