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