Vertaling van "programmes C" in Engels
Actuellement, cela s'applique uniquement aux programmes C.
Il se compose d'un logiciel de système tiers, les programmes C, et les scripts shell.
It consists of third-party system software, C programs, and shell scripts.
Comprendre les considérations de conception qui rendent les programmes C intégrés fiables
Understand the design considerations that make embedded C programs reliable
Le responsable de l'entrepôt se composent de logiciels de système tiers, les programmes C et des scripts shell.
The warehouse manager consist of third party system software, C programs and shell scripts.
Les exemples considèrent non seulement les algorithmes mathématiques mais aussi les programmes C ainsi que la problématique de la compilation.
The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.
Caduceus: un outil de vérification de programmes C
Caduceus: a verification tool for C programs
La demande comprend plus de 100 programmes C ainsi que leur production.
Application includes more than 100 C Programs along with their output.
Un première analyse sur ce langage est décrite, permettant de distinguer les entiers utilisés comme bitmasks, qui sont une source de bugs dans les programmes C.
A first analysis is described, that identifies integers used as bitmasks, which are a common source of bugs in C programs.
Vous voyez, c'est un peu simplet pour certains types de programmes C, en particulier, ceux où des chaines protégées sont des commentaires.
You see, it's too simple-minded for certain kinds of C programs, in particular, those with what appear to be comments in quoted strings.
Nos exemples représentent des programmes C, puisqu'ils sont les plus courants, mais vous pouvez utiliser make avec n'importe quel langage de programmation dont le compilateur peut être lancé en ligne de commandes.
Our examples show C programs, since they are most common, but you can use make with any programming language whose compiler can be run with a shell command.
Elle se compose d'un ensemble d'outils qui fonctionnent sur des programmes C annotés et génère des conditions de vérification qui établissent la correction des programmes fournis.
It consists of a bunch of tools that operate on user-annotated C programs and generates verification conditions that would establish the correctness of the input programs.
Généralement, chacun d'eux est raisonnablement efficace pour les tâches qu'il vise, mais aucun ne correspond aux langages et aux compilateurs puissants et tout-terrain qui vous feront abandonner définitivement l'écriture de programmes C compilés par GCC... ce qui est très bien comme ça.
Generally, each is reasonably effective for the kinds of programming tasks it targets, but none is the powerful general-purpose language and compiler system that will make you forever stop writing C programs to compile with GCC... which is fine.
Faire l'annuaire actif de vos programmes C Et commencer votre rédacteur.
Make the active directory of your C programs and start your editor.
