Implementation of an OCaml stepper that reconstructs programs at each step by tracking evaluation contexts, supporting effects and including student feedback on educational value.
In: Proceedings of the 49th ACM Technical Symposium on Computer Science Education, SIGCSE ’18, ACM, pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.PL 2years
2019 2verdicts
UNVERDICTED 2representative citing papers
Describes integrating symbolic code reasoning into CS1 and discrete math courses at Haverford and Grinnell, introduces the Orca proof assistant, and poses research questions on effectiveness.
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.
-
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math
Describes integrating symbolic code reasoning into CS1 and discrete math courses at Haverford and Grinnell, introduces the Orca proof assistant, and poses research questions on effectiveness.