vérification des types oor Engels

vérification des types

Vertalings in die woordeboek Frans - Engels

type checking

La vérification des types et la création conditionnelle d'entités sont prises en charge.
Type checking and conditional creation of entities is supported.

Soortgelyke frases

type de vérification des données
type of data checking

voorbeelde

La vérification des types et la création conditionnelle d'entités sont prises en charge.
Type checking and conditional creation of entities is supported.

Les problèmes algorithmiques tels que la vérification des types ou l'inférence de types sont aussi plus difficiles.
Algorithmic problems such as type checking and type inference are more difficult for equirecursive types as well.

Les utilisateurs ont ainsi la possibilité de contrôler la rigueur de la vérification des type de données de leurs sous-classes MovieClip.
This gives users control over the strictness of typechecking for their MovieClip subclasses.

La vérification des types utilise le système nominatif des types à l'exception des types anonymes, où le système structurel des types est utilisé.
Type checking follows nominal typing with the exception of anonymous types where structural typing is used instead.

C# fait-il toujours des vérifications statiques des types ?
Is C# still performing static type checking?

Dès lors, la vérification des types de données sur ces classes était moins rigoureuse, puisqu'elle autorisait l'ajout dynamique (lors de l'exécution) de propriétés et de méthodes.
This meant that the typechecking done on those classes was more lenient, since it allowed for properties and methods that might be added dynamically (at runtime).

Le frontal crée un arbre syntaxique abstrait (AST) à partir du code source et effectue la vérification des types, l’expansion des macros et l'optimisation de l'AST.
The frontend creates an abstract syntax tree (AST) from the source code, and performs type checking, macro expansion, and optimization on the AST.

La vérification des types et quantités de pièces majeures d’équipement militaire détenues par les 30 États signataires se fait par des échanges réguliers d’information et des inspections fréquentes sur place.
Verification of types and quantities of major military equipment held by the 30 signatory states is accomplished through regular information exchanges and frequent on-site inspections.

La vérification des types et quantités de pièces majeures d'équipement militaire détenues par les 30 États signataires se fait par des échanges réguliers d'information et des inspections fréquentes sur place.
Verification of types and quantities of major military equipment held by the 30 signatory states is accomplished through regular information exchanges and frequent on-site inspections.

Parmi les arguments qui faisaient de DYNAMO un outil supérieur aux outils concurrents de l'époque, il y avait le fait qu'il incluse la vérification des types d'unités numériques et des messages d'erreur relativement clairs.
Among the ways in which DYNAMO was above the standard of the time, it featured units checking of numerical types and relatively clear error messages.

Les organisations qui se sont engagées à effectuer une vérification mensuelle peuvent choisir de varier la portée et les critères de la vérification tous les mois, afin de modifier la couverture de vérification des types d’opération.
Organizations that are committed to monthly testing may choose to vary the scope of testing and testing criteria on a monthly basis to vary the coverage of types of transactions.

En concentrant les inspections sur ces points, et en les complétant par l’utilisation de caméras vidéo, d’autres capteurs et d’étiquettes, on obtiendrait des informations essentielles à la vérification des types et du nombre de systèmes produits.
By focusing attention on those points through inspections, supplemented by the use of video cameras, other suitable sensors and tags, those points would provide key information for the verification of the types and numbers of guidance and control systems produced.

En concentrant les inspections sur ces points, et en les complétant par l'utilisation de caméras vidéo, d'autres capteurs et d'étiquettes, on obtiendrait des informations essentielles à la vérification des types et du nombre de systèmes produits
By focusing attention on those points through inspections, supplemented by the use of video cameras, other suitable sensors and tags, those points would provide key information for the verification of the types and numbers of guidance and control systems produced

De plus, on constate clairement qu’il y a un problème majeur d’identification et de vérification des divers types de compétences.
There is clearly a challenge in identifying and testing different kinds of competences.

Procede et appareil d'auto-test integre combinant la verification des defauts de type bloque a et la verification des defauts de retard a balayage partiel
Method and apparatus for combined stuck-at fault and partial-scanned delay-fault built-in self test

État et de l’évaluation vérification / internes Type d’évaluation Vérification des activités promotionnelles Gestion En cours
Audit of Departmental IM- Governance IT Governance Processes

La vérification des types a été par la suite encore améliorée lorsque le mot conventionnel de 32 bits a été étendu à 36 bits pour la I-Machine, puis à 40 bits et plus (généralement, les bits supplémentaires ne sont pas comptés car ils sont utilisés comme codes correcteurs).
Type checking was further improved and automated when the conventional byte word of 32-bits was lengthened to 36-bits for Symbolics 3600-model Lisp machines and eventually to 40-bits or more (usually, the excess bits not accounted for by the following were used for error-correcting codes).

Description des vérifications La présente section résume les principales caractéristiques de chacun des trois types de vérification prévue pour la plupart des sociétés d’État.
Description of the Audits The following summarizes the main characteristics of each of the three types of audits prescribed for most Crown corporations.

Description des vérifications La présente section résume les principales caractéristiques de chacun des trois types de vérification prévue pour la plupart des sociétés d'État.
Description of the Audits The following summarizes the main characteristics of each of the three types of audits prescribed for most Crown corporations.

Voir le paragraphe 8.1.6. qui traite des procédures de vérification des analyseurs de type à compensation.
See paragraph 8.1.6. for verification procedures for compensation type analysers.

Une vérification de routine, des types qui faisaient leur boulot, d'accord!
If it was just a routine check, if it was just a couple of good old boys doing their duty, that's fine.

Voir le paragraphe 8.1.6 qui traite des procédures de vérification des analyseurs de type à compensation.
See paragraph 8.1.6. for verification procedures for compensation type analysers.

2.4 Vérification empirique des quatre types de PME et identification des paramètres distinctifs Dépendance commerciale
2.4 Empirical confirmation of the four types of SMEs and identification of distinctive parameters

Procédures de consignation des vérifications Types d'événements consignés
Audit Logging Procedures Types of Events Recorded