Certified semantics and analysis of JavaScript

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...

Full description

Bibliographic Details
Main Author: Bodin, Martin
Other Authors: Rennes 1
Language:en
Published: 2016
Subjects:
Coq
Online Access:http://www.theses.fr/2016REN1S087/document