Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
type checking
Vertaling van "type checking" in Frans
vérification des types
vérification du type
vérification de types
Beware, these variables stand for unknown types to be determined by the type checking process: that's why these variables may disappear, precisely because their type value has been discovered.
Attention, ces variables représentent des types inconnus qui devront être déterminés par la suite du typage: c'est pourquoi les variables faibles peuvent disparaître à tout instant, parce qu'elles ont été déterminées justement.
Résumé The central topic of this thesis is the study of algorithms for type checking, both from the programming language and from the proof-theoretic point of view.
La thématique centrale de cette thèse est l'étude des algorithmes de typage, du point de vue des langages de programmation comme du point de vue de la théorie de la preuve.
Xpdf's handling of embedded fonts lacks sufficient validation and type checking.
La gestion par xpdf des polices de caractères embarquées manque de validation suffisante et de vérification de type.
Remember that the greatest improvements in languages come from the built-in testing provided by type checking, exception handling, etc., but those features take you only so far.
Se rappeler que l'amélioration la plus importante dans les langages de programmation vient des tests intégrés fournis par la vérification de type, la gestion des exceptions, etc. mais que ces tests ne sont pas exhaustifs.
In order for this to work, the implementation provided no type checking.
Pour permettre ce fonctionnement, l'exécution ne réalise pas de contrôle de type.
Dynamic type checking is carried out at run-time, when the query is actually executed.
Le contrôle de type dynamique est effectué lors de l'exécution, lorsque la requête est réellement exécutée.
Improved static type checking by inferring the return type of methods such as +alloc and -init.
Vérification de type statique améliorée en déduisant le type de retour de méthodes telles que + alloc et -init.
static type checking is performed on the parameterized source code to determine if any incompatible type assignments exist between variables that belong to the plurality of types and values assigned to the variables
il est procédé à une vérification de type statique du code source paramétré afin de déterminer s'il existe une quelconque affectation incompatible entre des variables appartenant à la pluralité de types et de valeurs affectées aux variables
Because the data types are extended (such as by creating new entities) using the data type tables in the relational representation, the extensions obtain the benefits of the type checking performed at compile time.
Étant donné que les types de données sont étendus (par exemple par création de nouvelles entités) à l'aide des tables de type de données dans la représentation relationnelle, les extensions obtiennent les avantages du contrôle de type effectué à la compilation.
Static and dynamic type checking
Contrôle de type statique et dynamique
We show that this equality can be included in the conversion without losing properties of $\mathcal{CIC}$: logical consistency, decidability of type checking etc.
Nous montrons que cette égalité peut être incluse dans la conversion du système sans compromettre les propriété de \cci: cohérence logique, décidabilité de la conversion et donc du typage etc.
The map function is used by the interactive system during the compilation of the phrase (syntax analysis, type checking, compilation, linking and evaluation of the input Caml phrase).
La fonction map est en effet utilisée par le système interactif pour ses besoins propres (analyse syntaxique, typage, compilation, édition des liens et évaluation de la phrase tappée).
We observe that this novel algorithm is a generalization to dependent types of a type checking algorithm found in the HOL proof assistants enabling on-the-fly checking of proofs.
Nous observons que cet algorithme est une extension à un cadre avec types dépendants de l'algorithme de typage des assistants de preuves de la famille HOL.
Synoniemen voor type checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 82. Exact: 82. Verstreken tijd: 63 ms.
