We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
of the source program
Chaque trace du programme résultant capture un ensemble d'exécutions possibles du programme source.
Each trace of the resulting program captures a set of possible executions of the source program.
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.
Embedding inserts a copy of the object and details of the source program in the target document.
un diagramme en échelle représentatif d'au moins une des instructions du programme source est affiché sur un dispositif d'affichage
a ladder diagram representative of at least one of the instructions of the source program is displayed on a display device
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
modifications of the source program made using the first editor and the second editor are converted to a lower-level language representation
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 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.
Le nom du programme est le fichier exécutable (.exe) le nom de fichier du programme source moins l'extension de fichier.exe.
The program name is the executable (.exe) file name of the source program minus the.exe file extension.
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é.
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.
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
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
La procédure de traitement décrite dans le code du programme source est analysée automatiquement.
The processing procedure described in the source program code is automatically analyzed.
Les paramètres pour la mise en page varient en fonction du programme source que vous utilisez.
Diverses formes de traitements de texte fournissent le matériel du programme source de l'ordinateur, en plus d'un ensemble de documents toujours grandissant.
Various forms of text editors have accommodated the computer's own source program material, as well as an ever-growing array of documents.
Ce problème peut être dû à la complexité intrinsèque du programme source ; il faut dans ce cas chercher un compromis entre rapidité et taille mémoire.
This problem can be due to the intrinsic complexity of the program source; in such a case, a compromise between execution time and memory size has to be found.
Les spécifications du programme source sont exprimées en une séquence d'instructions comprenant des instructions de la machine virtuelle définie.
The source program statements are expressed in a sequence of instructions comprising instructions of the defined virtual machine.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
