Книга: Жиль Довек, Жан-Жак Леви «Введение в теорию языков программирования»
|
Производитель: "ДМК Пресс" Серия: "Классика программирования" Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга `Введение в теорию языков программирования` представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков. Издательство: "ДМК Пресс" (2016) Формат: 60x90/16, 134 стр.
ISBN: 978-5-97060-242-3 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Введение в теорию языков программирования | Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными… — ДМК Пресс, (формат: 60x90/16, 134 стр.) Классика программирования Подробнее... | бумажная книга |
См. также в других словарях:
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Искусственные языки — Искусственные языки знаковые системы, создаваемые для использования в тех областях, где применение естественного языка менее эффективно или невозможно. И. я. различаются по специализации и назначению, а также по степени сходства с естественными… … Лингвистический энциклопедический словарь
СЕМИОТИКА — (от греч. semeiot знак) общая теория знаковых систем, изучающая свойства знаковых комплексов самой различной природы. К таким системам относятся естественные языки, письменные и устные, разнообразные искусственные языки, начиная с формализованных … Философская энциклопедия
Сведение по Карпу — Любой язык программирования называется сводимым по Карпу к языку , если существует функция , вычисляемая за полиномиальное время, где F(x) принадлежит в том случае, если x принадлежит . Язык называется NP трудным, если к нему сводится любой язык… … Википедия
