MLExplain - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2018

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.

Domains

Programming Languages [cs.PL]
Fichier principal
Vignette du fichier
mlexplain.pdf (340.32 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Alan Schmitt  : Connect in order to contact the contributor

https://inria.hal.science/hal-02056392

Submitted on : Monday, March 4, 2019-3:38:57 PM

Last modification on : Monday, July 24, 2023-11:06:33 AM

Long-term archiving on : Wednesday, June 5, 2019-3:24:41 PM

Download

Dates and versions

hal-02056392 , version 1 (04-03-2019)

Identifiers

  • HAL Id : hal-02056392 , version 1

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
170 View
117 Download

Share

More