Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
of the source program
Vertaling van "of the source program" in Frans
du programme source
Each trace of the resulting program captures a set of possible executions of the source program.
Chaque trace du programme résultant capture un ensemble d'exécutions possibles du programme source.
Embedding inserts a copy of the object and details of the source program in the target document.
Lorsque vous incorporez un objet, une copie de l'objet ainsi que les détails du programme source sont insérés dans le document cible.
a ladder diagram representative of at least one of the instructions of the source program is displayed on a display device
un diagramme en échelle représentatif d'au moins une des instructions du programme source est affiché sur un dispositif d'affichage
modifications of the source program made using the first editor and the second editor are converted to a lower-level language representation
les modifications du programme source effectuées au moyen du premier et du deuxième éditeurs sont converties en représentation en langage de niveau inférieur
The correctness proof represents both source program and compiled code in a common semantic framework, then formalizes a relation between the source program and its compiled code to express that the semantics of the source program are preserved in the compiled code.
La preuve de correction représente dans un cadre sémantique commun le programme source et le code compilé, et formalise une relation entre eux pour exprimer la préservation des sémantiques du programme source dans le code compilé.
The program name is the executable (.exe) file name of the source program minus the.exe file extension.
Le nom du programme est le fichier exécutable (.exe) le nom de fichier du programme source moins l'extension de fichier.exe.
Abstract: In compilation, register allocation is the optimization that chooses which vari- ables of the source program, in unlimited number, are mapped to the actual registers, in limited number.
Résumé : En compilation, l'allocation de registres est l'optimisation qui choisit quelles variables du programme source, en nombre illimité, sont stockées dans les registres physiques, en nombre limité.
at least one instruction of the source program in the high-level text-based language is displayed on a display device along with a corresponding ladder diagram of the source program in the ladder-based language
au moins une instruction du programme source en langage textuel de haut niveau est affichée sur un dispositif d'affichage conjointement avec un graphique en échelle correspondant du programme source en langage en échelle
A compiler is formally verified if it comes with a proof of semantic preservation: "if compilation succeeds, the behavior of the compiled code agrees with that of the source program".
Un compilateur est formellement vérifié s'il est accompagné d'une preuve de préservation sémantique : "si la compilation réussit, le code compilé se comporte comme le code source le prédit."
In respect of software, as we know the algorithm itself is not patentable, neighter the properties that apply to character encoding of the source text, the intellectual properties apply primarily on the originality of the source program itself.
S'agissant du logiciel, on sait que l'algorithme en lui-même n'est pas brevetable, on ne considère pas les propriétés qui s'appliquent au codage des caractères du texte source, on se focalise essentiellement sur l'originalité que constitue l'écriture du programme source lui-même.
the analysis device includes a memory for storing a block ID for grouping a part f the source statement of the source program while correlating it with an instruction code memory address according to the debug information
le dispositif d'analyse inclut une mémoire pour stocker une ID de bloc afin de regrouper une partie de l'instruction source d'un programme source tout en la corrélant avec l'adresse de mémoire d'un code d'instruction conformément aux informations de débogage
The number of unique operators and operands (n1 and n2) as well as the total number of operators and operands (N1 and N2) are calculated by collecting the frequencies of each operator and operand token of the source program.
Le nombre d'opérateurs et opérandes uniques (n1 et n2), aussi bien que le nombre total d'opérateurs et opérandes (N1 et N2) sont calculés en collectant les fréquences de chaque opérateur et opérande trouvé dans le programme source.
Initiated by Xavier Leroy, programmed and proven in Coq, CompCert comes with a mathematical, machine-checked proof that the generated executable code behaves exactly as prescribed by the semantics of the source program.
Impulsé par le chercheur Xavier Leroy, développé et prouvé en Coq, CompCert apporte une preuve par l'ordinateur que le code exécutable compilé se comportera exactement comme le prévoit la sémantique du code source écrit en C.
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 13. Exact: 13. Verstreken tijd: 119 ms.
