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.
Other results
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.
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.