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.
Type de document :
Communication dans un congrès
Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France. 2013
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00779459
Contributeur : Ist Inria Saclay <>
Soumis le : mardi 22 janvier 2013 - 11:31:37
Dernière modification le : mardi 16 janvier 2018 - 15:54:15
Document(s) archivé(s) le : samedi 1 avril 2017 - 08:12:13

Fichier

jfla2013-06.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : hal-00779459, version 1

Citation

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

Partager

Métriques

Consultations de la notice

1175

Téléchargements de fichiers

242