jskel
Notoriété 7 %
JSkel est un projet skeletal permettant la représentation formelle de la sémantique du langage JavaScript. Il vise à fournir une sémantique aussi proche que possible de la sémantique réelle du langage, en équilibrant une approche formelle et une approche plus pratique.
Dépôt de code
Cas d'utilisation métiers
- Génération automatique d'un interprète pour une sémantique donnée : rechercher des initiatives proches
- Représentation formelle de la sémantique du langage JavaScript : rechercher des initiatives proches
- Analyse et transformation de code JavaScript grâce à la sémantique sous-jacente : rechercher des initiatives proches
Organisation
- Institut national de recherche en informatique et en automatique (organisation rattachée)
Description générée le lundi 18 mars 2024 à 23:59:02