Skip to Main content Skip to Navigation
Conference papers

MLExplain

Kévin Le Bon 1 Alan Schmitt 2
1 PACAP - Pushing Architecture and Compilation for Application Performance
Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE
2 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download
https://hal.inria.fr/hal-02056392
Contributor : Alan Schmitt <>
Submitted on : Monday, March 4, 2019 - 3:38:57 PM
Last modification on : Saturday, July 11, 2020 - 3:14:59 AM
Document(s) archivé(s) le : Wednesday, June 5, 2019 - 3:24:41 PM

File

Vignette du document
mlexplain.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02056392, version 1

Collections

CNRS | UNIV-RENNES1 | CENTRALESUPELEC | IRISA | INRIA | UNIV-RENNES | UR1-UFR-ISTIC | INSA-RENNES

Citation

Kévin Le Bon, Alan Schmitt. MLExplain. OCaml 2018, Sep 2018, Saint Louis, United States. pp.1-4. ⟨hal-02056392⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

242

Files downloads

81

 

Contact                    Legal Notice                    Personal Data