À la fin de cet article, nous proposons une convention dans laquelle un programme JavaScript non trivial dans une page web peut déclarer l'URL de l'emplacement de son code source, ainsi que sa licence, en utilisant des commentaires stylisés.
At the end of this article we propose a convention by which a nontrivial JavaScript program in a web page can state the URL where its source code is located, and can state its license too, using stylized comments.
Pour apporter une solution à ce problème, nous avons développé le programme LibreJS qui reconnaît le code JavaScript non trivial et vérifie sa licence.
To address this problem, we developed the LibreJS program which recognizes nontrivial JavaScript code and checks its license.
Il détecte le code JavaScript non trivial et non libre, et l'empêche de se charger sans votre consentement Libsigsegv
Nous serons capables de rejeter et même de remplacer les programmes JavaScript non triviaux et non libres, tout comme nous avons rejeté et remplacé les paquets non libres pour les installations classiques.
We will be able to reject and even replace the nonfree nontrivial JavaScript programs, just as we reject and replace nonfree packages that are offered for installation in the usual way.
Le programme LibreJS [en] détecte le JavaScript non libre et non trivial dans les pages que vous visitez, et le bloque.
En réponse à ce problème, nous avons développé LibreJS, une extension pour Firefox qui bloque le code JavaScript non libre et non trivial (il n'y a aucune nécessité de bloquer le simple script qui implémente des modifications mineures de l'interface utilisateur).
To address this problem, we have developed LibreJS, an add-on for Firefox that blocks nontrivial nonfree JavaScript code. (There is no need to block the simple scripts that implement minor user interface hacks.)
Puisque le JavaScript est souvent non trivial, cela vaut la peine de mettre les scripts sous copyleft.
La plupart des navigateurs ont un moyen de désactiver JavaScript totalement, mais aucun d'eux ne peut vérifier si des programmes JavaScript sont non triviaux et non libres.
Certains d'entre eux ont un moyen de désactiver JavaScript totalement, mais même si vous êtes conscient du problème, vous aurez beaucoup de mal à identifier les programmes non triviaux et non libres pour les bloquer.
Some browsers have a way to turn off JavaScript entirely, but even if you're aware of this issue, it would take you considerable trouble to identify the nontrivial nonfree programs and block them.
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.
Par conséquent, le problème de sa réalisation explicite est non trivial.
Therefore, the question of its explicit realization is nontrivial.
Écrire un programme non trivial veut dire combiner des centaines d'idées différentes.
Now, writing a non-trivial program means combining hundreds of different ideas.
Potentially sensitive or inappropriate content
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.
