Les contributions de cette thèse sont donc triples : une sémantique formelle de confiance pour le langage JavaScript, un formalisme générique pour construire des sémantiques abstraites, et un domaine non trivial pour ce formalisme.
This thesis has thus three main contributions: a trusted formal semantics for the JavaScript, a generic framework to build abstract semantics, and a non-trivial domain for this formalism.
Autres résultats
Une expérience en langage javascript est un avantage, mais n'est pas exigée.
Javascript experience is a plus, but not required.
Il exécute toutes les fonctionnalités de Csound ainsi que celles d'HTML5 dans un runtime semblable à un navigateur avec le langage JavaScript, et il comprend un éditeur Csound implémenté en HTML.
It runs all features of Csound, as well as all features of HTML5, in a browser-like runtime with JavaScript scripting, and includes a Csound editor implemented in HTML.
Le langage Javascript ne permet pas de faire ce genre de choses.
JavaScript does not have the capability to do such things.
Il peut notamment y implémenter des traitements spécifiques, codés en langage Javascript.
In particular, it can implement specific actions coded in Javascript language.
Le langage Javascript associe à chaque touche du clavier un code numérique.
The Javascript language associates with each key of the keyboard a numerical code.
Le langage JavaScript permet de créer des pages web interactives.
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.