Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
static analysis of programs
Traduction de "static analysis of programs" en français
analyse statique de programmes
analyse statique de code
In recent years static analysis of programs has become proven technology for the implementation of compilers and interpreters.
Ces dernières années, l'analyse statique de programmes s'est imposée comme une technologie incontournable pour l'implémentation de compilateurs et d'interpréteurs.
Experimentations shows that the analyzer can efficiently and precisly prove some challenging exemples in the field of static analysis of programs manipulating arrays.
L'expérimentation démontre qu'elles peuvent analyser avec efficacité et précision un certain nombre d'exemples constituant des défis de l'analyse statique de programmes manipulant des tableaux.
This PHD thesis focuses on static analysis of programs by type inference in order to detect program errors before their execution.
Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution.
Abstract: This PHD thesis focuses on static analysis of programs by type inference in order to detect program errors before their execution.
Résumé : Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution.
A few months ago, I started JStify, a project for static analysis of programs written in JavaScript 2.
Une fois complet, JStify sera une boîte à outils pour l'analyse statique de programmes écrits dans le langage JavaScript 2.
This paper, written with P. Cousot, proposes a new formalism for static analysis of programs that involve probabilities.
Ce papier, écrit avec P. Cousot, propose un nouveau formalisme pour analyser statiquement des programmes à interactions probabilistes, qui étend le cadre habituel de l'interprétation abstraite.
Abstract: Static analysis of programs enables to study the possible behaviours of programs without running them.
Résumé : L'analyse statique des programmes permet d'étudier les comportements possibles des programmes sans les exécuter.
Passez à Premium pour accéder à des millions d’exemples de traduction, enregistrer et apprendre du vocabulaire en illimité, le tout sans publicité.
Le mot et l’expression du jour
L’image du jour
Résultats: 7. Exacts: 7. Temps écoulé: 45 ms.
