-
1 programming language semantics
English-Russian electronics dictionary > programming language semantics
-
2 programming language semantics
The New English-Russian Dictionary of Radio-electronics > programming language semantics
-
3 semantics
-
4 semantics
вчт.- denotational semantics
- mathematical semantics
- non-standard semantics
- operational semantics
- procedural semantics
- programming language semantics
- reduction semantics
- semantics of application domain
- standard semanticsThe New English-Russian Dictionary of Radio-electronics > semantics
-
5 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language -
6 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- a programming language
- abstract machine language
- actor language
- agent communication language
- algebraic logic functional language
- algorithmic language
- amorhic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language
- axiomatic architecture description language
- basic combined programming language
- block-structured language
- boundary scan description language
- business-oriented language
- business-oriented programming language
- categorical abstract machine language
- categorical language
- cellular language
- combined programming language
- command language
- common business-oriented language
- common language
- compiled language
- compiler language
- computer hardware description language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-sensitive language
- concurrent language
- configuration language
- constraint language
- context-free language
- context-sensitive language
- conversational language
- coordinate language
- data definition language
- data description language
- data manipulation language
- data structure language
- database language
- database query language
- declarative language
- declarative markup language
- definitional constraint language
- definitional language
- design language
- device media control language
- digital system design language
- document style semantics and specification language
- domain-specific language
- dynamic hypertext markup language
- dynamic simulation language
- dynamically scoped language
- elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible hypertext markup language
- extensible language
- extensible markup language
- fabricated language
- fifth-generation language
- first-generation language
- formal language
- formalized language
- fourth-generation language
- frame language
- function graph language
- functional language
- functional programming language
- geometrical layout description language
- graphics language
- graph-oriented language
- hardware description language
- Hewlett-Packard graphics language
- Hewlett-Packard printer control language
- high-level language
- high-order language
- host language
- hypersymbol language
- hypertext markup language plus
- hypertext markup language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language
- interactive set language
- intermediate language
- interpreted language
- Java interface definition language
- Java language
- Java programming language
- job control language
- Jules' own version of the international algorithmic language
- knowledge query and manipulation language
- left-associative language
- lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language
- man-machine language
- mathematical markup language
- matrix-based programming language
- meta language
- mnemonic language
- musical language
- my favorite toy language
- native language
- native-mode language
- natural language
- network control language
- network description language
- noninteractive language
- nonprocedural language
- object language
- object-oriented language
- page description language
- parallel object-oriented language
- partial differential equation language
- pattern-matching language
- physical language
- picture query language
- polymorphic language
- portable language
- portable standard language
- practical extraction and report language
- prescriptive language
- print control language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robotic control language
- robot-level language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language
- second-generation language
- sense language
- server-parsed hypertext markup language
- set language
- sign language
- simulation language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification and assertion language
- specification language
- stack-based language
- standard generalized markup language
- statically scoped language
- stratified language
- stream language
- string-handling language
- string-oriented symbolic language
- string-processing language
- strongly-typed language
- structural design language
- structured query language
- subset language
- symbolic language
- symbolic layout description language
- synchronized multimedia integration language
- target language
- thing language
- third-generation language
- threaded language
- tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language
- very-high-speed integrated circuit hardware description language
- Vienna definition language
- virtual reality modeling language
- visual language
- well-structured programming language
- wireless markup languageThe New English-Russian Dictionary of Radio-electronics > language
-
7 language
1) языкв общем случае язык можно определить как множество предложений, каждое из которых состоит из конечной последовательности символов, принадлежащих конечному алфавиту (alphabet). Таким образом, язык задаётся алфавитом, грамматикой, синтаксисом и семантикой. Языки делятся на естественные (natural language) и искусственные (artificial language), среди которых большую долю составляют языки программирования (programming language)см. тж. algorithmic language, applicative language, assembly language, authoring language, class-based language, compiled language, context-free language, dataflow language, data manipulation language, declarative language, design language, formal language, graphics language, hardware language, high-level language, hybrid language, language construct, language definition, language design, language element, language extension, language implementation, language manual, language processor, low-level language, macro language, metalanguage, microprogramming language, modeling language, native language, nonprocedural language, OOL, parallel language, semantics, sentence, symbol, syntax2) языковыйАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > language
-
8 language definition
спецификации (описание, определение) языка программированиясостит из трёх главных частей: синтаксиса (syntax), семантики (semantics) и прагматики (pragmatics).The only way to master formal methods of language definition is to practice writing and reading language specifications. (К. Slonneger) — Единственный способ освоения формальных методов описания языков программирования - это практическое составление и чтение спецификаций ЯВУ.
Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > language definition
-
9 CTS
1) Компьютерная техника: Conformance Test System, Consolidated Tape System, cut-trough switching2) Авиация: control temperature sensor3) Военный термин: Cadet Training Ship, Change Tracking System, Chief, Technical Services, Common Targeting System, Communications Technology Satellite, Conflict Tactic Scales, Contact Test Set, central tactical system, central target simulator, central training section, command and telemetry system, communications test set, components test set, computerized training system, contractor technical support, cosmic top secret, courier transfer station, course training standard4) Техника: communications and tracking subsystem, communications and tracking system, communications technician, special devices operator, communications technological satellite, communications test station, compact tension specimen, component test system, concentrate transfer system, condensate transfer and storage, containment spray system, cryogenic temperature sensor, current technical specification, сертифицированный технический специалист5) Математика: Cross Table Sampling6) Бухгалтерия: Cash To Spend7) Автомобильный термин: coolant temperature sensor, charge temperature switch (Chrysler)8) Металлургия: Controlled Thermal Severity9) Телекоммуникации: Call Tracking System, сигнал "готов к передаче", Clear To Send (EIA-232-E), Common Transport Semantics (IBM)10) Сокращение: Casualty Transport Ship, Clear to Send (communications protocol signal), Common Termination System, Communications Training System, Compatible Timesharing System, Composite Training Squadron (USAF), Compulsive Travellers Syndrome, Computerized Tomography Scanner, Contingency Transfer System, Course Training Standards, Culler - Tiler - Singler, close to shoulder, count per second, Clear To Send (EIA RS-232-C), Carpal Tunnel Syndrome, complete timing set11) Университет: Career Technology Studies, Classroom Technology Services12) Физиология: Cardio Thoracic Surgery, Compulsive Traveller's Syndrome13) Вычислительная техника: Clear To Send, Clear To Send (EIA RS-232-C), Common Type System (OOP, CLR, MS,.NET, CLS), Conformance Testing Service (OSTC), Compatibility Test Suite (Sun, J2EE), Cipher Text Stealing (mode, Verschluesselung)14) Нефть: condensate to surface15) Иммунология: Clinical Technical Support16) Космонавтика: Communication Technology Satellite17) Транспорт: Cleveland Transit System, Commodity Transportation Survey18) Воздухоплавание: Contralateral Threshold Shift19) Фирменный знак: Carmichael Training Systems21) Деловая лексика: Certified Temporary Staffing, Combined Trading System, контейнерное судно, контейнеровоз (container ship)22) Образование: Critical Thinking Skills23) Сетевые технологии: Cluster Testing System, Component Transaction Server, communication terminal synchronous, сброс передатчика, синхронный коммуникационный терминал24) Полимеры: container-transport system, continuous-time service25) Химическое оружие: CTR Transportation Support, Contractor transportation support26) Расширение файла: Common Test Subroutines, Customer Telephone System, Permanent location contents (ABC programming language), Computer Telephony Solution (IBM)27) Электротехника: cable tyre sheath28) Станки: Охлаждение через шпиндель (Colant through spindle)29) Должность: Certified Technology Specialist, Certified Temporary Specialists, Certified Trauma Specialist30) NYSE. C T S Corporation31) НАСА: Commercial To Space32) Международная торговля: Corporate Translation Services -
10 Cts
1) Компьютерная техника: Conformance Test System, Consolidated Tape System, cut-trough switching2) Авиация: control temperature sensor3) Военный термин: Cadet Training Ship, Change Tracking System, Chief, Technical Services, Common Targeting System, Communications Technology Satellite, Conflict Tactic Scales, Contact Test Set, central tactical system, central target simulator, central training section, command and telemetry system, communications test set, components test set, computerized training system, contractor technical support, cosmic top secret, courier transfer station, course training standard4) Техника: communications and tracking subsystem, communications and tracking system, communications technician, special devices operator, communications technological satellite, communications test station, compact tension specimen, component test system, concentrate transfer system, condensate transfer and storage, containment spray system, cryogenic temperature sensor, current technical specification, сертифицированный технический специалист5) Математика: Cross Table Sampling6) Бухгалтерия: Cash To Spend7) Автомобильный термин: coolant temperature sensor, charge temperature switch (Chrysler)8) Металлургия: Controlled Thermal Severity9) Телекоммуникации: Call Tracking System, сигнал "готов к передаче", Clear To Send (EIA-232-E), Common Transport Semantics (IBM)10) Сокращение: Casualty Transport Ship, Clear to Send (communications protocol signal), Common Termination System, Communications Training System, Compatible Timesharing System, Composite Training Squadron (USAF), Compulsive Travellers Syndrome, Computerized Tomography Scanner, Contingency Transfer System, Course Training Standards, Culler - Tiler - Singler, close to shoulder, count per second, Clear To Send (EIA RS-232-C), Carpal Tunnel Syndrome, complete timing set11) Университет: Career Technology Studies, Classroom Technology Services12) Физиология: Cardio Thoracic Surgery, Compulsive Traveller's Syndrome13) Вычислительная техника: Clear To Send, Clear To Send (EIA RS-232-C), Common Type System (OOP, CLR, MS,.NET, CLS), Conformance Testing Service (OSTC), Compatibility Test Suite (Sun, J2EE), Cipher Text Stealing (mode, Verschluesselung)14) Нефть: condensate to surface15) Иммунология: Clinical Technical Support16) Космонавтика: Communication Technology Satellite17) Транспорт: Cleveland Transit System, Commodity Transportation Survey18) Воздухоплавание: Contralateral Threshold Shift19) Фирменный знак: Carmichael Training Systems21) Деловая лексика: Certified Temporary Staffing, Combined Trading System, контейнерное судно, контейнеровоз (container ship)22) Образование: Critical Thinking Skills23) Сетевые технологии: Cluster Testing System, Component Transaction Server, communication terminal synchronous, сброс передатчика, синхронный коммуникационный терминал24) Полимеры: container-transport system, continuous-time service25) Химическое оружие: CTR Transportation Support, Contractor transportation support26) Расширение файла: Common Test Subroutines, Customer Telephone System, Permanent location contents (ABC programming language), Computer Telephony Solution (IBM)27) Электротехника: cable tyre sheath28) Станки: Охлаждение через шпиндель (Colant through spindle)29) Должность: Certified Technology Specialist, Certified Temporary Specialists, Certified Trauma Specialist30) NYSE. C T S Corporation31) НАСА: Commercial To Space32) Международная торговля: Corporate Translation Services -
11 cts
1) Компьютерная техника: Conformance Test System, Consolidated Tape System, cut-trough switching2) Авиация: control temperature sensor3) Военный термин: Cadet Training Ship, Change Tracking System, Chief, Technical Services, Common Targeting System, Communications Technology Satellite, Conflict Tactic Scales, Contact Test Set, central tactical system, central target simulator, central training section, command and telemetry system, communications test set, components test set, computerized training system, contractor technical support, cosmic top secret, courier transfer station, course training standard4) Техника: communications and tracking subsystem, communications and tracking system, communications technician, special devices operator, communications technological satellite, communications test station, compact tension specimen, component test system, concentrate transfer system, condensate transfer and storage, containment spray system, cryogenic temperature sensor, current technical specification, сертифицированный технический специалист5) Математика: Cross Table Sampling6) Бухгалтерия: Cash To Spend7) Автомобильный термин: coolant temperature sensor, charge temperature switch (Chrysler)8) Металлургия: Controlled Thermal Severity9) Телекоммуникации: Call Tracking System, сигнал "готов к передаче", Clear To Send (EIA-232-E), Common Transport Semantics (IBM)10) Сокращение: Casualty Transport Ship, Clear to Send (communications protocol signal), Common Termination System, Communications Training System, Compatible Timesharing System, Composite Training Squadron (USAF), Compulsive Travellers Syndrome, Computerized Tomography Scanner, Contingency Transfer System, Course Training Standards, Culler - Tiler - Singler, close to shoulder, count per second, Clear To Send (EIA RS-232-C), Carpal Tunnel Syndrome, complete timing set11) Университет: Career Technology Studies, Classroom Technology Services12) Физиология: Cardio Thoracic Surgery, Compulsive Traveller's Syndrome13) Вычислительная техника: Clear To Send, Clear To Send (EIA RS-232-C), Common Type System (OOP, CLR, MS,.NET, CLS), Conformance Testing Service (OSTC), Compatibility Test Suite (Sun, J2EE), Cipher Text Stealing (mode, Verschluesselung)14) Нефть: condensate to surface15) Иммунология: Clinical Technical Support16) Космонавтика: Communication Technology Satellite17) Транспорт: Cleveland Transit System, Commodity Transportation Survey18) Воздухоплавание: Contralateral Threshold Shift19) Фирменный знак: Carmichael Training Systems21) Деловая лексика: Certified Temporary Staffing, Combined Trading System, контейнерное судно, контейнеровоз (container ship)22) Образование: Critical Thinking Skills23) Сетевые технологии: Cluster Testing System, Component Transaction Server, communication terminal synchronous, сброс передатчика, синхронный коммуникационный терминал24) Полимеры: container-transport system, continuous-time service25) Химическое оружие: CTR Transportation Support, Contractor transportation support26) Расширение файла: Common Test Subroutines, Customer Telephone System, Permanent location contents (ABC programming language), Computer Telephony Solution (IBM)27) Электротехника: cable tyre sheath28) Станки: Охлаждение через шпиндель (Colant through spindle)29) Должность: Certified Technology Specialist, Certified Temporary Specialists, Certified Trauma Specialist30) NYSE. C T S Corporation31) НАСА: Commercial To Space32) Международная торговля: Corporate Translation Services
См. также в других словарях:
Programming language specification — A programming language specification is an artifact that defines a programming language so that users and implementors can agree on what programs in that language mean.A programming language specification can take several forms, including the… … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Programming language theory — (commonly known as PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and programming language features. It is a multi disciplinary field, both… … Wikipedia
Programming language for Computable Functions — The Programming language for Computable Functions, or PCF, is a typed functional language introduced by Gordon Plotkin in 1977. It is based on the Logic of Computable Functions (LCF) by Dana Scott. It can be considered as a simplified version of… … Wikipedia
Concatenative programming language — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurr … Wikipedia
Python (programming language) — infobox programming language name = Python paradigm = multi paradigm: object oriented, imperative, functional year = 1991 designer = Guido van Rossum developer = Python Software Foundation latest release version = 2.6 latest release date =… … Wikipedia
TUTOR (programming language) — Infobox programming language name = TUTOR (aka PLATO Author Language) paradigm = imperative (procedural) year = c. 1965 designer = Paul Tenczar Richard Blomme [from page 4 of The TUTOR Language by Bruce Sherwood, 1974.] developer = Paul Tenczar… … Wikipedia
J (programming language) — Not to be confused with the J++ or J# programming languages. Infobox programming language name = J paradigm = array, functional, function level, tacit year = 1990 designer = Ken Iverson Roger Hui developer = JSoftware latest release version =… … Wikipedia
Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… … Wikipedia
Oz (programming language) — Oz Paradigm(s) multi paradigm: logic, functional, imperative, object oriented, constraint, distributed, concurrent Appeared in 1991 Designed by Gert Smolka, his students Developer Mozart … Wikipedia
Indus programming language — Indus is an object oriented programming language for Ubiquitous computing. The primary components of the Indus platform are a programming language to implement software agents, libraries to provide services to agents on a distributed network, and … Wikipedia