Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
static program analysis
Translation of "static program analysis" in French
analyse statique
Saxe is known for his highly-cited publications on automated theorem proving, circuit complexity, retiming in synchronous circuit design, computer networks, and static program analysis.
Saxe est connu pour ses contribution en démonstration automatique de théorèmes, complexité des circuits, conception de circuits synchrones et retiming, réseaux informatiques, et static program analysis.
Wilhelm's research focuses on programming languages, compiler construction, static program analysis and embedded real time systems, but also includes animation and visualization of algorithms and data structures.
La recherche de Wilhelm se concentre sur les langages de programmation, la construction de compilateurs, l'analyse de programmes statiques et les systèmes temps réel embarqués, mais comprend également l'animation et la visualisation d'algorithmes et de structures de données.
The ASOPT (Analyse Statique et optimisation) project developed new algorithms for static program analysis, in particular by bringing in techniques from mathematical optimization and game theory.
Le projet ASOPT (Analyse Statique et optimisation) a développé de nouveaux algorithmes d'analyse de programmes, notamment par utilisation de techniques issues de la recherche opérationnelle (optimisation) et de la théorie des jeux.
Static program analysis allows the gathering of informations about the execution behaviour of your code without actually executing it.
L'analyse statique permet d'obtenir des informations sur le comportement de votre code lors de son exécution sans l'exécuter.
Abstract: Static program analysis is a core technology for both verifying and finding errors in programs but most static analyzers are complex pieces of software that are not without error.
Résumé : L'analyse statique est utilisée pour vérifier de manière formelle qu'un programme ne fait pas d'erreurs, mais un analyseur statique est lui même un programme complexe sujet aux erreurs.
Abstract: Static program analysis aims at automatically determining whether a program satisfies some particular properties.
Résumé : L'analyse statique de programme a pour but de prouver automatiquement qu'un programme vérifie certaines propriétés.
Go Premium to unlock millions of translation examples, save and learn unlimited vocabulary, without ads.
Synonyms and analogies of "static program analysis" in English
Word & Expression of the day
Image of the day
Results: 6. Exact: 6. Elapsed time: 492 ms.
