Le professeur Seokyoung Ryu du KAIST, avec l’Université Korea, réussit à développer une technologie capable de garantir la stabilité de l’écosystème JavaScript

 (aitimes.kr)
15 points par tsboard 2024-05-09 | 4 commentaires | Partager sur WhatsApp

  • JavaScript est le langage de programmation le plus activement utilisé, avec une spécification du langage appelée ecma 262, maintenue par tc39, ainsi que diverses implémentations.

  • En particulier, des problèmes sont apparus dans les publications annuelles de E 262 en raison de l’absence de mécanismes automatisés permettant de vérifier l’exactitude et la conformité de la spécification.

  • Une nouvelle approche a été proposée : extraire automatiquement, à partir d’une spécification Pro, une spécification mécanisée permettant diverses applications, comme la synthèse de programmes de test de conformité et la réalisation d’analyses de types.

  • À partir de la spécification mécanisée extraite, il est possible de générer automatiquement des implémentations de langages spécialisés ; celles-ci ont été publiées en open source afin d’être réellement utilisables dans le développement du langage JavaScript.

  • Une approche prometteuse pour le développement de langages de programmation consiste à concevoir d’abord le langage sous forme de spécification mécanisée, puis à s’en servir pour générer à la fois la spécification Pro et l’implémentation du langage ; il a été démontré que cette approche est réalisable et pratique pour JavaScript.

  • Des informations détaillées sur ce travail sont disponibles dans le numéro d’avril 2024 de Communications of the ACM, qui présente une méthode applicable aussi bien aux langages de programmation existants qu’aux nouveaux langages.

À lire aussi

4 commentaires

 
kunggom 2024-05-09

C’est dommage que les articles qui présentent ce genre de sujet fournissent rarement des liens vers le texte original de l’article scientifique.
Dans certains articles de presse sur les sciences, le DOI est indiqué tout en bas pour permettre de retrouver l’étude présentée dans l’article, et j’aimerais que cette pratique se répande davantage.
Quoi qu’il en soit, j’ai donc moi-même cherché et récupéré les liens vers l’article et le dépôt GitHub mentionnés ci-dessus.
 
tsboard 2024-05-09

Ah, moi aussi je n’avais apporté que la news, merci d’avoir ajouté des compléments sur l’article scientifique !
 
honglu 2024-05-09

euma semble être une faute de frappe !
 
tsboard 2024-05-09

Voici la vidéo YouTube associée.
https://www.youtube.com/watch?v=JGxc-KIUnQY

Le contenu ci-dessus a été résumé à l’aide de Corely.
https://corely.ai/content/…