set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules
"conjunt de regles que assignen una propietat anomenada tipus a diverses construccions en què consta un programa informàtic, com ara variables, expressions, funcions o mòduls"@ca
"conjunto de reglas que asignan una propiedad llamada tipo a varias construcciones de las que un programa informático consta, tales como variables, expresiones, funciones o módulos"@es
"formales System in Programmiersprachen"@de
"framework sintattico per la classificazione di espressioni"@it
"reeglite kogum, mis määrab arvutiprogrammi struktuuridele, sealhulgas muutujatele, avaldistele, funktsioonidele või moodulitele, omaduse, mida kutsutakse "tüübiks""@et
"regler for hvordan et programmeringsspråk klassifiserer verdier og uttrykk til ulike konstruksjoner, for eksempel variabler, uttrykk, funksjoner eller moduler"@nb
"règles d'assignation des types d'un langage de programmation"@fr
"set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules"@en
"system för hur programspråk klassificerar värden och uttryck"@sv
"systém pravidel přiřazující typy jednotlivým konstrukcím, ze kterých se skládá počítačový program"@cs
"набір правил, за якими присвоюють властивість, що називається типом, різним елементам комп'ютерної програми, таким як змінні, вирази, функції або модулі"@uk
"совокупность правил в языках программирования, назначающих свойства (типы) конструкциям, составляющим программу"@ru