Examples with "vers du code machine" 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.
La compilation correspond à la traduction des programmes sources écrits par des humains vers du code machine lisible par nos systèmes.
Compilation is the process of translating source programs written by humans to machine code readable by our systems.
La plupart des implémentations de Common Lisp compilent les fonctions vers du code machine.
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.
Andere resultaten
La certification des compilateurs des langages que nous avons développés vers du code-octet pour des machines virtuelles adaptées et la certification partielle de ces machines virtuelles.
Pendant la première phase, on sélectionne pour traduction les séquences répétitives du code machine émulé.
In a first phase, frequently repeated sequences of emulated computer code are identified and selected for translation.
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.
