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.
The bang calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
roles
background 2polarities
background 2representative citing papers
Hybrid LLM plus static analysis for algorithm recognition in code cuts required model calls by 72-97% and lifts F1-scores by as much as 12 points.
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.