VIENNA DEFINITION LANGUAGE

Meaning of VIENNA DEFINITION LANGUAGE in English

(VDL) IBM Vienna Labs. A language for formal, algebraic definition via operational semantics. Used to specify the semantics of PL/I. See also VDM .

["The Vienna Definition Language", P. Wegner, ACM Comp Surveys 4(1):5-63 (Mar 1972)].

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

VIENNA — Vienna npr Vienna
Interlingua English vocab
VIENNA — or German Wien geographical name city capital of Austria on the Danube population 1,539,848 , Viennese adjective or noun
Толковый словарь английского языка - Merriam Webster
VIENNA — I German Wien City (pop., 2001: 1,550,123; metro. area, 1,825,287), capital of Austria. Located on the Danube River , it …
Английский словарь Британика
LANGUAGE — I System of conventional spoken or written symbols used by people in a shared culture to communicate with each other. …
Английский словарь Британика
DEFINITION — In philosophy, the specification of the meaning of an expression relative to a language. Definitions may be classified as lexical, …
Английский словарь Британика
LANGUAGE — I. ˈlaŋgwij, ˈlaiŋ-, -wēj sometimes -ŋw- noun ( -s ) Usage: often attributive Etymology: Middle English langage, language, from Old …
Webster's New International English Dictionary
VIENNA — vēˈenə adjective Usage: usually capitalized Etymology: from Vienna, Austria : of or from Vienna, the capital of Austria : of …
Webster's New International English Dictionary
DEFINITION — ˌdefəˈnishən noun ( -s ) Etymology: Middle English diffinicioun, from Middle French diffinition, definition, from Latin definition-, definitio, from definitus …
Webster's New International English Dictionary
DEFINITION — (n.) Act of ascertaining and explaining the signification; a description of a thing by its properties; an explanation of the …
Английский словарь Webster
DEFINITION — ( n. ) Act of ascertaining and explaining the signification; a description of a thing by its properties; an explanation …
Webster's Revised Unabridged English Dictionary
VIENNA — /vee en"euh/ , n. 1. German, Wien . a port in and the capital of Austria, in the NE part, …
Random House Webster's Unabridged English Dictionary
LANGUAGE — /lang"gwij/ , n. 1. a body of words and the systems for their use common to a people who are …
Random House Webster's Unabridged English Dictionary
VIENNA — n. capital of Austria
Толковый словарь английского языка - Редакция bed
VIENNA — geographical name or German Wien ˈvēn city capital of Austria on the Danube population 1,539,848 • Vi·en·nese ˌvē-ə-ˈnēz, -ˈnēs adjective …
Merriam-Webster's Collegiate English vocabulary
DEFINITION — noun Etymology: Middle English diffinicioun, from Anglo-French, from Latin definition-, definitio, from definire Date: 14th century 1. : an act …
Merriam-Webster's Collegiate English vocabulary
LANGUAGE — noun a race, as distinguished by its speech. 2. language ·vt to communicate by language; to express in language. 3. …
Webster English vocab
DEFINITION — noun description; sort. 2. definition ·noun an exact enunciation of the constituents which make up the logical essence. 3. definition …
Webster English vocab
DEFINITION — [def.i.ni.tion] n [ME diffinicioun, fr. MF definition, fr. L definition-, definitio, fr. definire] (14c) 1: an act of determining; specif: …
Merriam-Webster English vocab
LANGUAGE — a system of conventional spoken or written symbols by means of which human beings, as members of a social group …
Britannica English vocabulary
VIENNA
Britannica English vocabulary
VIENNA — Vienna BrE AmE vi ˈen ə
Longman Pronunciation English Dictionary
LANGUAGE — / ˈlæŋgwɪdʒ; NAmE / noun OF A COUNTRY 1. [ C ] the system of communication in speech and writing …
Oxford Advanced Learner's English Dictionary
DEFINITION — / ˌdefɪˈnɪʃn; NAmE / noun 1. [ C , U ] an explanation of the meaning of a word or …
Oxford Advanced Learner's English Dictionary
VIENNA — Vi ‧ en ‧ na /viˈenə/ BrE AmE the capital city of Austria, famous as a centre for music since …
Longman Dictionary of Contemporary English
LANGUAGE — lan ‧ guage S1 W1 /ˈlæŋɡwɪdʒ/ BrE AmE noun [ Date: 1200-1300 ; Language: Old French ; Origin: langue 'tongue, …
Longman Dictionary of Contemporary English
DEFINITION — def ‧ i ‧ ni ‧ tion S2 W2 AC /ˌdefəˈnɪʃ ə n, ˌdefɪˈnɪʃ ə n/ BrE AmE noun [ …
Longman Dictionary of Contemporary English
LANGUAGE — n. 1 the method of human communication, either spoken or written, consisting of the use of words in an agreed …
Concise Oxford English Dictionary
LANGUAGE — n.1 the method of human communication, either spoken or written, consisting of the use of words in an agreed way. …
Oxford English vocab
LANGUAGE — ( languages) Frequency: The word is one of the 1500 most common words in English. 1. A language is a …
Collins COBUILD Advanced Learner's English Dictionary
DEFINITION — ( definitions) Frequency: The word is one of the 3000 most common words in English. 1. A definition is a …
Collins COBUILD Advanced Learner's English Dictionary
LANGUAGE — noun COLLOCATIONS FROM OTHER ENTRIES a computer language (= a system of instructions used to program a computer ) a …
Longman DOCE5 Extras English vocabulary
DEFINITION — noun COLLOCATIONS FROM OTHER ENTRIES a dictionary definition ▪ Clear dictionary definitions are what students look for. high definition/HD television …
Longman DOCE5 Extras English vocabulary
DEFINITION — [noun] [U]Definition means clearness of shape, sound, colour, etc..The photograph rather lacks definition.We admired the definition of the violinist's playing.(figurative) …
Cambridge English vocab
LANGUAGE — n. Common Business Oriented Language. HyperText Markup Language Practical Extraction and Reporting Language. Standard Generalized Markup Language Structured Query Language. …
Britannica Concise Encyclopedia
DEFINITION — n. In philosophy, the specification of the meaning of an expression relative to a language. Definitions may be classified as …
Britannica Concise Encyclopedia
VIENNA — n. Vienna Circle Vienna Congress of Vienna Siege of Vienna University of Vienna Workshops
Britannica Concise Encyclopedia
VIENNA — n. German Wien City (pop., 2001: 1,550,123; metro. area, 1,825,287), capital of Austria. Located on the Danube River , it …
Britannica Concise Encyclopedia
VIENNA — Classification: City Located in: West Virginia (WV) Total Population (2000): 10861 Total Housing Units (2000): 5074 Land Area (square meters): …
U.S. Gazetteer English vocabulary
VIENNA — Classification: Town Located in: Virginia (VA) Total Population (2000): 14453 Total Housing Units (2000): 5438 Land Area (square meters): 11504428 …
U.S. Gazetteer English vocabulary
VIENNA — Classification: Town Located in: South Dakota (SD) Total Population (2000): 78 Total Housing Units (2000): 41 Land Area (square meters): …
U.S. Gazetteer English vocabulary
VIENNA — Classification: City Located in: Missouri (MO) Total Population (2000): 628 Total Housing Units (2000): 297 Land Area (square meters): 2738248 …
U.S. Gazetteer English vocabulary
VIENNA — Classification: Town Located in: Maryland (MD) Total Population (2000): 280 Total Housing Units (2000): 138 Land Area (square meters): 477349 …
U.S. Gazetteer English vocabulary
VIENNA — Classification: Town Located in: Louisiana (LA) Total Population (2000): 424 Total Housing Units (2000): 167 Land Area (square meters): 8956209 …
U.S. Gazetteer English vocabulary
VIENNA — Classification: City Located in: Illinois (IL) Total Population (2000): 1234 Total Housing Units (2000): 607 Land Area (square meters): 5802730 …
U.S. Gazetteer English vocabulary
VIENNA — Classification: City Located in: Georgia (GA) Total Population (2000): 2973 Total Housing Units (2000): 1180 Land Area (square meters): 13598938 …
U.S. Gazetteer English vocabulary
LANGUAGE — INDEX: 1. the words used by the people in a particular country or area 2. the use of words to …
Longman Activator English vocab
VIENNA — See Vienna Circle
Theological and Philosophical Biography English vocab
VIENNA — сущ.; геогр. г. Вена
Большой Англо-Русский словарь
VIENNA — Вена
Большой Англо-Русский словарь
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Большой Англо-Русский словарь
DEFINITION — сущ. 1) а) определение, формулирование (процесс) б) дефиниция, формулировка to formulate, give, provide, write a definition ≈ дать определение dictionary …
Большой Англо-Русский словарь
VIENNA — Вена
Американский Англо-Русский словарь
VIENNA — n геогр. г. Вена
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LANGUAGE — language.ogg ʹlæŋgwıdʒ n 1. язык the Russian the English language - русский английский язык finger language - язык жестов, язык …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
DEFINITION — definition.ogg ͵defıʹnıʃ(ə)n n 1. определение, дефиниция; толкование clear definition - ясное определение the definition of the term - определение термина …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LANGUAGE — язык - absolute language - algorithmical language - algorithmic language - applicative language - artificial language - assembler language - …
Большой Англо-Русский политехнический словарь
DEFINITION — 1) определение; описание; задание 2) формирование ( рисунка ) 3) резкость, чёткость ( изображения ) 4) разрешение, разрешающая способность ( …
Большой Англо-Русский политехнический словарь
LANGUAGE — язык - absolute language - algorithmical language - algorithmic language - applicative language - artificial language - assembler language - block-structured language - Boolean algebra-based language - Boolean based …
Большой Англо-Русский политехнический словарь - РУССО
DEFINITION — 1) определение; описание; задание 2) формирование (рисунка) 3) резкость, чёткость (изображения) 4) разрешение, разрешающая способность (объектива) • definition in depth — 1. степень резкости 2. …
Большой Англо-Русский политехнический словарь - РУССО
LANGUAGE — язык absolutely adequate language — абсолютно адекватный язык absolutely homogeneous language — абсолютно однородный язык absolutely inadequate language — абсолютно неадекватный язык absolutely nonhomogeneous …
Англо-Русский научно-технический словарь
DEFINITION — 1) определение, дефиниция, формулировка 2) ясность, понятность 3) чёткость, резкость (изображения) • definition by abstraction — матем. определение путем абстракции definition by analysis — определение …
Англо-Русский научно-технический словарь
VIENNA — вена
Англо-Русский словарь Tiger
LANGUAGE — language сущ.языка) (как способ и средство общения) речь to butcher, murder a language — искажать язык to enrich a language …
Англо-Русский словарь Tiger
VIENNA — г. Вена
Англо-Русский словарь Tiger

FOLDOC Computer English Dictionary

← VIDEO ON DEMAND VIENNA DEFINITION METHOD→