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.
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é.
This open source program, whose source code can be extended and customized by anyone, runs with Windows, macOS, and Linux.
Ce programme open source, dont le code source peut être étendu et personnalisé par n'importe qui, fonctionne sous Windows, macOS et Linux.
a first computer system compiles a source program into machine code for a register-oriented microprocessor, optimizing the global allocation of microprocessor registers in the process
un premier système informatique qui compile un programme source en code machine pour un microprocesseur orienté registre, par optimisation de l'affectation globale des registres du microprocesseur dans le procédé
Developers Developers Cyan Worlds, Inc. has put most of the program code sources for Myst Online: Uru Live into open source.
Développeurs Développeurs Cyan Worlds, Inc. a donné un libre accès à une grande partie du code source de MO:UL.
relative to the prior art, the invention concerns an improved process for conversion of assembler source code (AC1) which was written for source hardware into program code (PC2) which is capable of running on target hardware with a different computer architecture
par rapport à la technique antérieure, l'invention concerne un procédé perfectionné pour la conversion d'un code source assembleur (AC1) écrit pour un matériel source en un code programme (PC2) pouvant tourner sur un matériel cible avec une architecture informatique différente
Based on the static properties of the program code CMT++ and CMTJava gives estimates how error prone the program source code is due to its complexity, how long it will take to understand the code, what is the logical volume of the code, etc...
Basés sur les propriétés statiques du programme du code, Testwell CMT++ et CMTJava fournissent des estimations sur les probabilités d'erreurs dans l'application, sur la durée requise pour la compréhension du code, sur le volume logique du code, etc...
We provide all these programs with source code.
Tous ces logiciels sont fournis avec leur code source.
For instance, you could use a program outputting source code
Par exemple, vous pourriez utiliser un programme générant du code source
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.