-
Английский
-
Русский
-
Английский
-
Русский
Denotational
UK
/ˌdiːnəʊˈteɪʃənl/
US
/ˌdinəˈteɪʃənl/
Перевод denotational на русский язык
denotational
Прилагательное
UK
/ˌdiːnəʊˈteɪʃənl/
US
/ˌdinəˈteɪʃənl/
The denotational meaning of a word is its literal meaning.
Денотативное значение слова - это его буквальное значение.
Опеределения
denotational
Прилагательное
UK
/ˌdiːnəʊˈteɪʃənl/
US
/ˌdinəˈteɪʃənl/
Relating to the explicit or direct meaning of a word or expression, as opposed to its connotations or associated meanings.
The denotational meaning of the word 'rose' is simply a type of flower, without any of the romantic connotations.
Идиомы и фразы
denotational semantics
Denotational semantics is a formal method for describing the meaning of programs.
денотационная семантика
Денотационная семантика - это формальный метод описания смысла программ.
denotational theory
The denotational theory provides a mathematical framework for understanding programming languages.
денотационная теория
Денотационная теория предоставляет математическую основу для понимания языков программирования.
denotational approach
The denotational approach is often used in formal verification.
денотационный подход
Денотационный подход часто используется в формальной проверке.
denotational definition
A denotational definition can help clarify the functional behavior of a system.
денотационное определение
Денотационное определение может помочь прояснить функциональное поведение системы.
denotational method
We applied a denotational method to analyze the algorithm's correctness.
денотационный метод
Мы применили денотационный метод для анализа корректности алгоритма.
Примеры
In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.
Вдобавок, он сформулировал и развил полную абстракцию, теорию о связи между операционной и денотационной семантиками.
Simplicity comes with formal denotational semantics defined in Coq, a popular, general purpose software proof assistant.
Simplicity поставляется с формальной денотационной семантикой, определенной в Coq, популярном помощнике по защите программного обеспечения общего назначения».
Denotational and Connotational meaning of the word.
Денотативный и коннотативный компоненты значения слова.
Denotational Abstract Interpretation of Logic Programs.
Алгоритм абстрактного интерпретатора логических программ.