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
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.
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.
Ce package contient deux programmes C. L'un calcule une borne inférieure sur le genre d'une courbe définie sur un corps fini fixé possédant un nombre de points rationnels donné.
This package contains two C programs. The first program computes a lower bound on the genus of a curve defined over a fixed finite field, given its number of points.
Ce cours donne un aperçu de la structure des programmes C, du pré-processeur et des types de données, des classes de stockage, des opérateurs et des constructions de contrôle de C. Les fonctions et les différents types de paramètres seront également abordés.
This course outlines the program structure of C programs, the preprocessor and the data types, storage classes, operators and control flow constructions of C. Also functions and the different types of parameters will be handled.