| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
MLExplain
Abstract : MLExplain is a step-by-step interpreter for OCaml that enables the user to inspect both their program's state and the interpreter's state itself. This interpreter is derived from JExplain, a step-by-step interpreter for JavaScript. The original goal of this work is to show that JSExplain can easily be reused with another language. MLExplain also aims to provide the user with a better understanding of the semantics of OCaml.
Cited literature [4 references]
https://hal.inria.fr/hal-02056392
Contributor : Alan Schmitt <>
Submitted on : Monday, March 4, 2019 - 3:38:57 PM
Last modification on : Thursday, January 7, 2021 - 4:35:09 PM
Long-term archiving on: : Wednesday, June 5, 2019 - 3:24:41 PM
Contributor : Alan Schmitt <>
Submitted on : Monday, March 4, 2019 - 3:38:57 PM
Last modification on : Thursday, January 7, 2021 - 4:35:09 PM
Long-term archiving on: : Wednesday, June 5, 2019 - 3:24:41 PM
File
mlexplain.pdf
Files produced by the author(s)