Accueil Accueil

JDEV 2015 - Grand Amphi-session du vendredi
JavaScript: de la standardisation à la formalisation (6535) - Vendredi 03 juillet 2015 11:00 - 11:45

JavaScript: de la standardisation à la formalisation

JavaScript est un langage complexe, mais dont la sémantique est très précisément définie.
Il est donc envisageable de formellement prouver la correction d'un programme JavaScript étant donnée une formalisation de sa sémantique. Dans cet exposé, nous décrirons rapidement le langage, en insistant sur les aspects les plus surprenants.
Nous motiverons le besoin d'une formalisation du langage dans un assistant de preuve et montrerons quelles formes elle peut prendre. Nous décrirons enfin les retombées de cette formalisation vis à vis du processus de standardisation, ainsi que ses différentes utilisations.

Alan Schmitt (INRIA)

Informatique

Toutes les vidéos de l'évenement JDEV 2015 - Grand Amphi-session du vendredi (5 videos)

00:26:13.90

2015-07-03

08:30 - 09:15 : Devlog

01:20:07.88

2015-07-03

09:15 - 10:15 : Coq, un assistant de preuve.

00:19:00.86

2015-07-03

10:15 - 10:30 : Retour d'expérience de l'utilisation de coq chez un industriel

00:50:34.57

2015-07-03

11:00 - 11:45 : JavaScript: de la standardisation à la formalisation

00:08:36.96

2015-07-03

12:00 - 12:30 : Conclusion, présentation CEPAge et remerciements JDEV15

Contact Webcast

La cellule webcast du CCIN2P3 vous propose de diffuser en direct et/ou en différé sur internet vos manifestations, colloques, conférences. Attention, ce service est réservé au domaine public dans le domaine de la Recherche Scientifique.


Cellule Webcast
Centre de Calcul IN2P3/CNRS
21 Avenue Pierre de Coubertin
CS70202
69627 VILLEURBANNE Cedex

Tél. :
+33(0) 4.78.93.08.80

Fax. :
+33(0) 4.72.69.41.70



Email :

Voir les mentions légales du site