Skip to Main content Skip to Navigation
New interface
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 Connect in order to contact the contributor
Submitted on : Tuesday, January 22, 2013 - 11:31:37 AM
Last modification on : Wednesday, April 6, 2022 - 3:48:29 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