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 code to a
source code into an
La présente invention procure un moyen pour, lors de la conversion d'un code source en un code de vérification, sélectionner une pluralité de règles de conversion, permettant à l'utilisateur de changer facilement un niveau d'abstraction.
The present invention provides a means for, when converting a source code to a checking code, selecting a plurality of conversion rules, enabling the user to easily change an abstraction level.
Certaines mises en œuvre du procédé sont basées sur un processus de conversion d'un code source en un graphe de décision, puis de transformation de celui-ci en un ou plusieurs graphes Alpha reconnus dans diverses applications de développement de logiciels.
Certain implementations of the method are based on a process of converting source code to a decision graph and transforming that into one or more alpha graphs which support various applications in software development.
Compile le code source en un fichier objet sans le lier
Un code source peut être directement traduit dans son code de la machine cible, alors pourquoi à tout ce que nous devons traduire le code source en un code intermédiaire qui est ensuite traduit à son code cible?
A source code can directly be translated into its target machine code, then why at all we need to translate the source code into an intermediate code which is then translated to its target code?
Selon l'invention, un compilateur frontal compile un code source en un code intermédiaire, qui peut être compilé plus tard en code binaire.
A front-end compiler compiles source code into intermediate code, that may later be compiled into binary code.
Le processus convertit un programme de flux en code source en un code objet compilé qui est utilisé avec un dispositif informatique à base de nœuds programmables doté d'une pluralité de nœuds de traitement couplés les uns aux autres.
The process converts a source code stream program to a compiled object code that is used with a programmable node based computing device having a plurality of processing nodes coupled to each other.
l'invention concerne un procédé de vérification d'un transformateur de code source en un code transformé destiné à un système embarqué
the invention concerns a method for verifying a transformer of source code into a transformed code designed for an incorporated system
L'invention, dans un mode de réalisation, concerne un système de compilation d'un code source en un code exécutable qui effectue une prélecture pour des opérations de mémoire dans des sections critiques du code sujettes à une exclusion mutuelle.
One embodiment of the present invention provides a system for compiling source code into executable code that performs prefetching for memory operations within critical sections of code that are subject to mutual exclusion.
La pluralité de règles de conversion comprend les règles de conversion servant à : convertir le code source en un format intermédiaire ; effectuer une abstraction dans le format intermédiaire ; et convertir le format intermédiaire en un code de vérification.
The plurality of conversion rules includes the conversion rules for: converting the source code to an intermediate format; performing an abstraction in the intermediate format; and converting the intermediate format to a checking code.
PGE convertit le code source en un arbre d'analyse.
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.
