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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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 metadatas

Cited literature [22 references]  Display  Hide  Download
Contributor : Ist Inria Saclay <>
Submitted on : Tuesday, January 22, 2013 - 11:31:37 AM
Last modification on : Friday, July 10, 2020 - 4:14:45 PM
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