Skip to Main content Skip to Navigation
Conference papers

A Certified JavaScript Interpreter

Martin Bodin 1 Alan Schmitt 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : This paper describes the design and implementation of the interpreter. It is organized as follows. Section 1 introduces the semantics of JavaScript and highlights some of its peculiarities. Section 2 describes the interpreter's design and implementation. Section 3 addresses the interpreter's correctness. Finally, Section 4 concludes with future and related work.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Ist Inria Saclay <>
Submitted on : Tuesday, January 22, 2013 - 11:31:37 AM
Last modification on : Wednesday, June 16, 2021 - 3:41:33 AM
Long-term archiving on: : Saturday, April 1, 2017 - 8:12:13 AM


Explicit agreement for this submission


  • HAL Id : hal-00779459, version 1


Martin Bodin, Alan Schmitt. A Certified JavaScript Interpreter. JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France. ⟨hal-00779459⟩



Record views


Files downloads