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.
source program and
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.
Cela implique, par exemple, de déployer le programme source et ses certificats originaux (en plus du code exécutable) et de certifier la correction du processus de compilation.
That includes, for instance, deploying the source program and original certificates in addition to the executable code and certifying the correctness of the compilation process.
un compilateur pouvant faciliter la description de calculs dans un programme source et simplifier la description du programme source de façon à réduire la génération d'erreurs de calcul selon le procédé de blocs flottants mis en oeuvre par logiciel
a compiler capable of facilitating calculation description in a source program and simplifying the source program description so as to reduce generation of bugs in calculation according to the block floating method by software
Si le programme source collecte des données extérieures (par exemple à partir d'un noeud d'entrée Evénement Extérieur), ces données ne seront accessibles que dans le programme source et ne seront pas transférées au programme cible.
If the source program collects external data (e.g. from an External Event entry node), this data will only be available in the source program and will not transfer to the target program.
Par exemple, pour créer une liaison DDE avec Microsoft Word en tant que le programme source et à l'aide de la rubrique système.
For example, to create a DDE link with Microsoft Word as the source program and by using the System topic.
Conservez la sémantique de votre programme source et identifiez facilement les erreurs.
Le programme source et le programme cible doivent tous les deux être actifs pour que les contacts puissent passer de l'un à l'autre.
Both the source and target programs need to be active for the contacts to pass from one to another.
on crée un séparateur pour identifier divers commentaires insérés dans un programme source et l'on détermine pour chaque commentaire un mot clé pour extraire l'article de commentaire correspondant aux spécifications du programme
a separator for identifying various comments inserted in a source program is set up, and a keyword for extracting the comment item corresponding to the program specifications is set up for every comment
un analyseur de programme source qui effectue plusieurs analyses d'un programme source, génère des informations d'analyse du programme source et les mémorise dans une mémoire d'informations d'analyse de programme source
a source program analyzer performs various analyses of a source program, generates analysis information on the source program, and stores it in a source program analysis information storage
le générateur de programme exécutable génère un programme exécutable optimisé sur la base des informations d'analyse du programme source mémorisés dans la mémoire d'informations d'analyse de programme source et des informations de profil générées par le générateur d'informations de profil.
the executable-program generator generates an optimized executable program based on the analysis information on the source program stored in the source program analysis information storage and the profile information generated by the profile information generator.
PROGRAMME DE RÉVISION D'UN PROGRAMME SOURCE, PROCÉDÉ DE RÉVISION D'UN PROGRAMME SOURCE ET DISPOSITIF ASSOCIÉ DE RÉVISION D'UN PROGRAMME SOURCE
SOURCE PROGRAM REVIEW PROGRAM, SOURCE PROGRAM REVIEW METHOD AND SOURCE PROGRAM REVIEW DEVICE
SYSTÈME D'ANALYSE DE PROGRAMME SOURCE, PROCÉDÉ D'ANALYSE DE PROGRAMME SOURCE ET SUPPORT D'ENREGISTREMENT SUR LEQUEL UN PROGRAMME EST ENREGISTRÉ
SOURCE PROGRAM ANALYSIS SYSTEM, SOURCE PROGRAM ANALYSIS METHOD, AND RECORDING MEDIUM ON WHICH PROGRAM IS RECORDED
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.
