Implementation of an OCaml stepper that reconstructs programs at each step by tracking evaluation contexts, supporting effects and including student feedback on educational value.
McCarthy, Jon Rafkind, Sam Tobin-Hochstadt & Robert Bruce F indler (2012): Run Y our Research: On the Effectiveness of Lightweight Mechanization
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Stepping OCaml
Implementation of an OCaml stepper that reconstructs programs at each step by tracking evaluation contexts, supporting effects and including student feedback on educational value.