Engels

Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Frans

Definitie Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Favorieten

Publiciteit

c programs

Geflecteerde vorm van c program

Vertaling van "c programs" in Frans

programmes C

programmes en C

Currently, it only applies to C programs.

Actuellement, cela s'applique uniquement aux programmes C.

It consists of third-party system software, C programs, and shell scripts.

Il se compose d'un logiciel de système tiers, les programmes C, et les scripts shell.

We will often use small C programs to illustrate what we will be talking about.

Nous utiliserons souvent de petits programmes en C pour illustrer nos propos.

The behavior of C programs is unaffected by the distinction between the three character types.

Le comportement des programmes en C n'est pas affecté par cette distinction entre les trois types de caractères.

Understand the design considerations that make embedded C programs reliable

Comprendre les considérations de conception qui rendent les programmes C intégrés fiables

The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.

Les exemples considèrent non seulement les algorithmes mathématiques mais aussi les programmes C ainsi que la problématique de la compilation.

Caduceus: a verification tool for C programs

Caduceus: un outil de vérification de programmes C

Application includes more than 100 C Programs along with their output.

La demande comprend plus de 100 programmes C ainsi que leur production.

A first analysis is described, that identifies integers used as bitmasks, which are a common source of bugs in C programs.

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.

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.

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.

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.

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.

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.

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.

The present implementation of this option only works for C programs. A future implementation may also work for C++ programs.

L'implémentation actuelle de cette option ne fonctionne que pour les programmes C. Une future implémentation pourrait également fonctionner pour les programmes C++.