Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
a program correctness
Examples with "a program correctness" and their translation in Frans
the invention integrates into a state-lattice computational model: a polymorphic strong type system; visibility-limiting domains; first-order assertions; and logic for providing a program correctness
l'invention intègre dans un treillis d'états un modèle calculatoire: un système de type fort polymorphe; des domaines de limitation de visibilité; des assertions de premier ordre; une logique assurant la correction du programme
Andere resultaten
Avoiding certain methods can make it easier to prove theorems about a program's correctness, or simply to understand its behavior.
Cependant, le fait d'éviter certaines techniques peut permettre de rendre plus aisée la démonstration de théorèmes sur la correction d'un programme - ou simplement la compréhension de son fonctionnement - sans limiter la généralité du langage de programmation.
A system and method for analyzing (104) a computer program includes performing a static analysis on a program to determine property correctness.
Un système et un procédé d'analyse (104) d'un programme informatique consistent à effectuer une analyse statique d'un programme pour déterminer l'exactitude d'une caractéristique.
A METHOD FOR GUARANTEEING PROGRAM CORRECTNESS USING FINE-GRAINED HARDWARE SPECULATIVE EXECUTION
PROCÉDÉ DE GARANTIE DE L'EXACTITUDE D'UN PROGRAMME À L'AIDE DE MODE D'EXÉCUTION SPÉCULATIF MATÉRIEL À GRANULARITÉ FINE
In the Toccata team, we are working on proof of program correctness.
Dans l'équipe Toccata, nous travaillons sur la preuve de programme.
Verification of program correctness with respect to their specifications.
Vérification de l'exactitude des programmes par rapport à leurs spécifications.
Numerical simulation helps to guide development of these scientific applications and support understanding program correctness.
La simulation numérique permet de guider le développement de ces applications scientifiques tout en en améliorant l'exactitude.
What are the applications of proof of program correctness?
Quelles sont les applications de la preuve de programme ?
Below are some of the important rules for effective programming which are consequences of the program correctness theory.
Voici quelques-unes des règles importantes pour des programmes efficaces qui sont les conséquences de la théorie de la décision correcte du programme.
George Necula proposed a technique to provide trust to code consumers about the program correctness without trusting the code producer side.
George Necula a proposé une technique pour apporter de la confiance aux consommateurs sur la correction du code sans faire confiance aux producteurs.
"Program correctness" is probably the key discipline in computer science and includes important challenges.
« Program correctness » est probablement le sujet clé de l'informatique et contient des défis majeurs.
What is proof of program correctness?
Qu'est-ce que la preuve de programme ?
A fifth logical system (BPL) interrelates the other four systems allowing proofs of program correctness.
Un cinquième système logique (BPL) met en corrélation les quatre autres systèmes, afin de prouver la correction du programme.
Synoniemen voor a program correctness in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 52498. Exact: 1. Verstreken tijd: 941 ms.
