JSkel: Towards a Formalization of JavaScript's Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

JSkel: Towards a Formalization of JavaScript's Semantics

Résumé

We present JSkel, a formalization of the semantics of JavaScript in Skel, the concrete language used to write skeletal semantics. We describe the improvements to Skel we designed and implemented to significantly simplify the formalization. We show the formalization is both close to the specification and executable.
Fichier principal
Vignette du fichier
paper.pdf (427.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03509431 , version 1 (04-01-2022)

Identifiants

  • HAL Id : hal-03509431 , version 1

Citer

Adam Khayam, Louis Noizet, Alan Schmitt. JSkel: Towards a Formalization of JavaScript's Semantics. JFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Virtuelles, France. pp.1-22. ⟨hal-03509431⟩
100 Consultations
84 Téléchargements

Partager

Gmail Facebook X LinkedIn More