Examples with "compilateur vers code" and their translation in Engels
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.
Nous présentons ensuite la sémantique dénotationnelle du langage et sa mise en œuvre au moyen d'un compilateur vers code-octet, et de deux machines virtuelles: une écrite en Bigloo Scheme pour exécution sur des ordinateurs traditionnels, l'autre écrite en Java ME pour les téléphones portables.
We then present the denotational semantics, and its implementation with a bytecode compiler and two virtual machines: one written in Bigloo Scheme for execution on traditional computers, the other in Java ME for mobile phones.
Python, par contre, n'a pas besoin de compilation vers du code binaire.
Premièrement, comme dans Coq les fonctions sont interprétées, les calculs sont beaucoup plus lents qu'avec un langage où les programmes sont compilés vers du code binaire exécutable.
First, because in Coq functions are interpreted, computation is much slower than with programs written in a standard programming language and compiled into binary code.
Nous montrons comment gérer la taille de ces calculs en interprétant les preuves tout entières comme des programmes fonctionnels, que l'on peut compiler vers du code machine à l'aide de compilateurs standards et clé-en-main.
We show how to make the proof checking problem manageable by turning entire proof terms into functional programs and compiling them in one go using off-the-shelf compilers for standard programming languages.
Performances Du fait de l'interprétation du code par octets, les programmes produits par Caml Light tournent à peu près 10 fois plus lentement que les programmes produits par les meilleurs compilateurs vers le code natif.
The generated standalone programs are very small. Performance Because of the overhead of interpreting the bytecode, programs generated by Caml Light run about ten times slower than programs generated by the best native-code compilers.
Et utiliser 'gcj'pour compiler le bytecode vers le code natif.
Et pour résoudre le premier problème, il est nécessaire de compiler cette fonction vers du code binaire exécutable.
To solve the former problem, one needs to compile this function to binary code.
GnuCOBOL traduit le COBOL en C et utilise un compilateur externe pour compiler le code traduit vers le langage machine.
GnuCOBOL translates COBOL into C and compiles the translated code using a native C compiler.
Pour résoudre ce deuxième problème, il est nécessaire de définir et prouver formellement la correction de la fonction vérifiant si un certificat est valide ou non. Et pour résoudre le premier problème, il est nécessaire de compiler cette fonction vers du code binaire exécutable.
To solve the latter problem, one needs to define and formally prove the correctness of a function checking whether a certificate is valid or not.
Notez que les constantes String symboliques seront converties à la compilation vers le type String et la page de code appropriés chaque fois qu'ils sont utilisés.
Note that symbolic string constants will be converted at compile time to the appropriate string type and code page whenever they are used.
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.
