Книга: Жиль Довек, Жан-Жак Леви «Введение в теорию языков программирования»

Введение в теорию языков программирования

Серия: "Классика программирования"

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, астроится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации...

Издательство: "ДМК Пресс" (2016)

Формат: 60x90/16, 134 стр.

ISBN: 978-5-97060-242-3

Купить за 360 руб на Озоне

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Введение в теорию языков программированияЯзыки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными… — ДМК Пресс, (формат: 60x90/16, 134 стр.) Классика программирования Подробнее...2016560бумажная книга

См. также в других словарях:

  • Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… …   Энциклопедия инвестора

  • ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • Искусственные языки — Искусственные языки  знаковые системы, создаваемые для использования в тех областях, где применение естественного языка менее эффективно или невозможно. И. я. различаются по специализации и назначению, а также по степени сходства с естественными… …   Лингвистический энциклопедический словарь

  • СЕМИОТИКА — (от греч. semeiot знак) общая теория знаковых систем, изучающая свойства знаковых комплексов самой различной природы. К таким системам относятся естественные языки, письменные и устные, разнообразные искусственные языки, начиная с формализованных …   Философская энциклопедия

  • Сведение по Карпу — Любой язык программирования называется сводимым по Карпу к языку , если существует функция , вычисляемая за полиномиальное время, где F(x) принадлежит в том случае, если x принадлежит . Язык называется NP трудным, если к нему сводится любой язык… …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»