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.
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.
Pour utiliser la page, votre navigateur doit supporter le langage JavaScript.
Le langage JavaScript permet de créer des pages web interactives.
The JavaScript language lets you create interactive web pages.
Le langage JavaScript est extrêmement tolérant au niveau des conversions de type.
JavaScript is very tolerant in terms of type conversion.
Assurez-vous que le langage JavaScript est autorisé sur votre navigateur.
Please ensure javascript is enabled for your browser.
Le langage Javascript doit être activé aux fins d'optimisation de la fonctionnalité.
Javascript must be enabled for full functionality.
Rappelez-vous que le langage JavaScript est sensible à la casse.
Remember that JavaScript is a case-sensitive language.
Les fonctions interactives d'un document SVG sont pilotées par le langage JavaScript.
The interactive functions of an SVG document are driven by JavaScript language.
Le langage javascript est utilisé pour écrire un parseur.
The javascript language is used to write a parser.
Contenu potentiellement sensible ou inapproprié
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.
