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...
Main Author: | Bodin, Martin |
---|---|
Other Authors: | Rennes 1 |
Language: | en |
Published: |
2016
|
Subjects: | |
Online Access: | http://www.theses.fr/2016REN1S087/document |
Similar Items
-
Malicious JavaScript Detection by Features Extraction
by: Gerardo Canfora, et al.
Published: (2015-06-01) -
Practical Analysis of the Dynamic Characteristics of JavaScript
by: Wei, Shiyi
Published: (2015) -
Automatically Tracing Imprecision Causes in JavaScript Static Analysis
by: Lee, H., et al.
Published: (2020) -
JavaScript DOM Manipulation Performance : Comparing Vanilla JavaScript and Leading JavaScript Front-end Frameworks
by: Persson, Morgan
Published: (2020) -
WebAssembly as an alternative solution for JavaScript in developing modern web applications
by: Dawid Suryś, et al.
Published: (2019-12-01)