-
21 static type-checking
= static type checkingсм. static typingАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > static type-checking
-
22 algorithm for type checking
Программирование: алгоритм проверки типа (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001)Универсальный англо-русский словарь > algorithm for type checking
-
23 dynamic type checking
Программирование: динамический контроль типов (см. dynamic typing) -
24 rules for type checking
Программирование: правила проверки типовУниверсальный англо-русский словарь > rules for type checking
-
25 static type checking
Программирование: статическая типизация (см. static typing), статический контроль типов, статическая проверка типов (проверка типов, производимая во время компиляции программы, не во время ее исполнения) -
26 static type-checking
Программирование: статическая типизация (см. static typing), статический контроль типов (см. static typing) -
27 strict type checking
Компьютерная техника: строгий контроль типов -
28 static type checking
вчт статическая проверка типовEnglish-Russian electronics dictionary > static type checking
-
29 static type checking
вчт. статическая проверка типовThe New English-Russian Dictionary of Radio-electronics > static type checking
-
30 crow foot type checking
English-Russian dictionary of chemistre > crow foot type checking
-
31 irregular pattern type checking
English-Russian dictionary of chemistre > irregular pattern type checking
-
32 static type checking
статическая проверка типовПроверка типов, производимая во время компиляции программы, не во время ее исполнения. -
33 strict type checking
English-Russian information technology > strict type checking
-
34 strict type checking
English-Russian dictionary of computer science > strict type checking
-
35 type check
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > type check
-
36 checking
checking контроль checking контрольный checking проверка checking проверочный checking профилактический контроль checking сличение consistency checking проверка последовательности contradiction checking проверка несоответствия error checking вчт. выявление ошибок integrity checking проверка целостности strict type checking вчт. строгий контроль типов type checking вчт. контроль типов -
37 checking
1) проверка; контроль2) вчт верификация3) испытания•- character checking
- complete automatic checking
- data checking
- diagnostic checking
- disk errors checking
- echo checking
- functional redundancy checking
- loop checking
- marginal checking
- model checking
- parity checking
- rule checking
- static type checking
- type checking -
38 checking
1) проверка; контроль2) вчт. верификация3) испытания•- character checking
- complete automatic checking
- data checking
- diagnostic checking
- disk errors checking
- echo checking
- functional redundancy checking
- loop checking
- marginal checking
- model checking
- parity checking
- rule checking
- static type checking
- type checkingThe New English-Russian Dictionary of Radio-electronics > checking
-
39 checking
контроль; проверка (периодическая); растрескивание -
40 type
1) тип; род; класс; вид2) ЯП тип (данных, объекта, функции и т.п.), см. тж data type3) литера; шрифт4) печатать; писать печатными буквами•- type from the keyboard- access type
- align type
- built-in data type
- character type
- combine type
- enumeration type
- fixed point type
- floating point type
- fundamental data type
- generic data type
- generic type
- Hollerith data type
- integer type
- numeric data type
- own type
- record type
- structured data type
- subrange type
- typewriter typeEnglish-Russian dictionary of computer science and programming > type
См. также в других словарях:
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science … Wikipedia
Checking (ice hockey) — Checking in ice hockey is any one of a number of defensive techniques. It is usually not a penalty. Contents 1 Types 2 New NHL standard of rule enforcement, 2005–2006 3 External links 4 … Wikipedia
Checking on the Moon — Author(s) Jenny Davis Country … Wikipedia
Dependent type — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
checking account — n. US a current account at a bank. Etymology: CHECK(3) * * * noun, pl ⋯ counts [count] US : a bank account from which you can take money by writing checks called also (Brit) current account * * * ˈchecking account [checking account checking… … Useful english dictionary
Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… … Wikipedia
Nominative type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type introspection — In computing, type introspection is a capability of some object oriented programming languages to determine the type of an object at runtime. This is a notable capability of the Objective C language, and is a common feature in any language that… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia