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é.
Each language has specifics commands, to make the same program the source codes will be different.
Chaque langage a ces propres ordres, pour faire le même programme, les sources seront différentes.
Apply for 'sealing up' of the source code program, documentation or samples.
Demander la « mise sous scellés » du programme code source, de la documentation ou des échantillons.
To overcome this problem, we propose to reduce the source code by program slicing before running test generation.
Pour surmonter ce problème, nous proposons de réduire la taille du code source par le slicing avant de lancer la génération de tests.
Now, central to any process of building software is manipulation of the source code of programs.
Or, au centre de tout processus de construction logicielle, il y a la manipulation des sources des programmes.
Anyone who knows programming, and has the program in source code form, can read the source code, understand its functioning, and change it too.
Toute personne connaissant la programmation et ayant le logiciel sous forme de code source peut le lire, comprendre son fonctionnement et aussi le modifier.
Their idea is that, by publishing the source code of programs designed to restrict your access to encrypted media and by allowing others to change it, they will produce more powerful and reliable software for restricting users like you.
Ils partent de l'idée qu'en publiant le code source de leur programme conçu pour restreindre votre accès aux médias chiffrés et en autorisant d'autres personnes à le modifier, ils produiront un logiciel plus puissant et plus fiable pour imposer des restrictions aux utilisateurs comme vous.
The administrator can grant developers immediate access to the source code of programs associated with a specific production line by entitling the user to a set number of license-based resources for the limited time necessary to carry out the operation.
L'administrateur peut accorder aux développeurs un accès immédiat au code source des programmes associés à une ligne de production spécifique en accordant à l'utilisateur un nombre défini de ressources sous licences pour une durée limitée nécessaire pour effectuer l'opération.
Apart from the catalogue, the artist will publish a USB drive that contains absolutely all the source code to program all the pieces in the exhibition.
Outre le catalogue, l'artiste publie un lecteur USB qui contient intégralement le code source entier pour programmer toutes les pièces de l'exposition.
On the technological level, background analysis using the Source Code Program enables the measurement, via algorithms, of all kinds of states of mind, and to calculate in real time the influences that engender behaviours.
Au niveau technologique, l'analyse d'arrière-plan effectuée avec la programmation Source Code permet de mesurer, via des algorithmes, toutes sortes d'états d'âme, et de calculer en temps réel les influences qui génèrent les comportements.
With the present invention, when the customized parameters of the operator network change, only the correspondence table of the network parameters and the customized parameters needs to be modified, thus avoiding the workload for modifying the source code of programs.
Selon l'invention, lorsque les paramètres personnalisés du réseau exploitant changent, seul le tableau de correspondance de paramètres réseau et de paramètres personnalisés doit être modifié de manière à éviter la charge de travail nécessaire pour modifier le code source de programmes.
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.