| dbo:description
|
- systém pravidel přiřazující typy jednotlivým konstrukcím, ze kterých se skládá počítačový program (cs)
- formales System in Programmiersprachen (de)
- system för hur programspråk klassificerar värden och uttryck (sv)
- プログラミング言語において、ある部分が持つ値を、その型に沿って分類し、プログラムが正しく振る舞うこと、という性質について保証する手法 (ja)
- 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)
- 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)
- 將稱為類型的屬性分配給計算機程序的各種構造的規則集，例如變量，表達式，函數或模塊 (zh)
- совокупность правил в языках программирования, назначающих свойства (типы) конструкциям, составляющим программу (ru)
- règles d'assignation des types d'un langage de programmation (fr)
- framework sintattico per la classificazione di espressioni (it)
- набір правил, за якими присвоюють властивість, що називається типом, різним елементам комп'ютерної програми, таким як змінні, вирази, функції або модулі (uk)
- 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)
- قوانین تایپسیستم (fa)
- يربط كل قيمة محسوبة بنوع (ar)
- reeglite kogum, mis määrab arvutiprogrammi struktuuridele, sealhulgas muutujatele, avaldistele, funktsioonidele või moodulitele, omaduse, mida kutsutakse \tüübiks\ (et)
|
