12 отношения: Coq, Программирование, Оксфордский университет, Онтология (информатика), Оптимизация (информатика), Скотт, Дана, Семантическая паутина, Формальная верификация, Язык программирования, Милнер, Робин, Метапрограммирование, Высокоуровневый язык программирования.
Coq
Coq (coq — петух) — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами.
Новый!!: Семантика (программирование) и Coq · Узнать больше »
Программирование
Программи́рование — процесс создания компьютерных программ.
Новый!!: Семантика (программирование) и Программирование · Узнать больше »
Оксфордский университет
Оксфордский университе́т (University of Oxford) — британский университет в городе Оксфорд, Англия.
Новый!!: Семантика (программирование) и Оксфордский университет · Узнать больше »
Онтология (информатика)
Онтоло́гия в информатике (ontologia от ὤν род. п. ὄντος — сущее, то, что существует и λόγος — учение, наука) — это попытка всеобъемлющей и подробной формализации некоторой области знаний с помощью концептуальной схемы.
Новый!!: Семантика (программирование) и Онтология (информатика) · Узнать больше »
Оптимизация (информатика)
Оптимизация — модификация системы для улучшения её эффективности.
Новый!!: Семантика (программирование) и Оптимизация (информатика) · Узнать больше »
Скотт, Дана
Да́на Стю́арт Скотт (Dana Stewart Scott, р. 11 октября 1932 года) — американский, известный работами в области математической логики и информатики.
Новый!!: Семантика (программирование) и Скотт, Дана · Узнать больше »
Семантическая паутина
Семанти́ческая паути́на (semantic web) — это общедоступная глобальная семантическая сеть, формируемая на базе Всемирной паутины путём стандартизации представления информации в виде, пригодном для машинной обработки.
Новый!!: Семантика (программирование) и Семантическая паутина · Узнать больше »
Формальная верификация
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию.
Новый!!: Семантика (программирование) и Формальная верификация · Узнать больше »
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Новый!!: Семантика (программирование) и Язык программирования · Узнать больше »
Милнер, Робин
Робин Милнер (Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем.
Новый!!: Семантика (программирование) и Милнер, Робин · Узнать больше »
Метапрограммирование
Метапрограммирование — вид программирования, связанный с созданием программ, которые порождают другие программы как результат своей работы (в частности, на стадии компиляции их исходного кода), либо программ, которые меняют себя во время выполнения (самомодифицирующийся код).
Новый!!: Семантика (программирование) и Метапрограммирование · Узнать больше »
Высокоуровневый язык программирования
Высокоуровневый язык программирования — язык программирования, разработанный для быстроты и удобства использования программистом.
Новый!!: Семантика (программирование) и Высокоуровневый язык программирования · Узнать больше »
Перенаправления здесь:
Семантика (информатика), Семантика кода, Семантика языка программирования, Семантический.