Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
static analysis of programs
Vertaling van "static analysis of programs" in Frans
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.
Probabilistic Abstract Interpretation 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.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 7. Exact: 7. Verstreken tijd: 60 ms.
