Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur
Nouveautés
Recherche avancée
Par auteur
Par date
Par laboratoire
Recherche thématique
Thèses -> Auteurs
Auteurs
>
B
>
Bodin Martin
Niveau supérieur
1
ressource a été trouvée.
|<
<< Page précédente
1
Page suivante >>
>|
5
10
15
20
25
30
35
40
documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :
Date de référencement
Editeur
Auteur
Titre
Certified semantics and analysis of JavaScript
Date de publication :
25-11-2016 |
Auteur(s) :
Bodin Martin |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
JavaScript est un langage de programmation maintenant très utilisé - y compris dans des domaines où la sécurité est importante. Il est donc important de permettre de vérifier la qualité des logiciels écrit en JavaScript. Cette thèse explore l'approche de la preuve formelle, visant à donner une preuve mathématique qu'un programme donné se comporte comme prévu. Pour construire cette preuve, nous uti...
Référencé le :
28-02-2017
|<
<< Page précédente
1
Page suivante >>
>|
5
10
15
20
25
30
35
40
documents par page
© 2006-2010 ORI-OAI