type checking
Anglais
Étymologie
Locution nominale
| Singulier | Pluriel |
|---|---|
| type checking \ˈtaɪp ˌtʃɛk.ɪŋ\ |
type checkings \ˈtaɪp ˌtʃɛk.ɪŋz\ |
type checking \ˈtaɪp ˌtʃɛk.ɪŋ\ généralement indénombrable
- (Programmation) Système de vérification du type d’une variable.
Type checking is process of ensuring that the operands of an operator are of proper type or not, i.e., operands are legal for the operator or is converted into proper type according to rule. […] There are two types of type checking: […] Static type checking is done at compile time or during translation of a program. […] Dynamic type checking is done at run time or during execution of the program.
— (Programming Languages - Design and Constructs, 2013, ISBN 9789381159415, pp. 24-25)- La traduction en français de l’exemple manque. (Ajouter)
Apparentés étymologiques
Hyponymes
- dynamic type checking
- static type checking
Voir aussi
- type checking sur l’encyclopédie Wikipédia (en anglais)