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 metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-00779459
Contributor : Ist Inria Saclay <>
Submitted on : Tuesday, January 22, 2013 - 11:31:37 AM
Last modification on : Wednesday, February 20, 2019 - 2:32:02 PM
Long-term archiving on : Saturday, April 1, 2017 - 8:12:13 AM

File

jfla2013-06.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00779459, version 1

Citation

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⟩

Share

Metrics

Record views

2251

Files downloads

292