Книга: Довек Жиль «Введение в теорию языков программирования»
|
Серия: "Классика программирования" Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков. Издательство: "ДМК Пресс" (2016)
ISBN: 978-5-94074-913-4,978-5-97060-242-3 Купить за 451 руб в My-shop |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Жан-Жак Леви | Введение в теорию языков программирования | Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными… — ДМК Пресс, электронная книга Подробнее... | 2013 | 199 | электронная книга |
| Довек Жиль, Леви Жан-Жак | Введение в теорию языков программирования | Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными… — ДМК-Пресс, Подробнее... | 2015 | 549 | бумажная книга |
| Жиль Довек, Жан-Жак Леви | Введение в теорию языков программирования | Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными… — ДМК Пресс, (формат: 60x90/16, 134 стр.) Классика программирования Подробнее... | 2016 | 560 | бумажная книга |
| Жиль Довек, Жан-Жак Леви | Введение в теорию языков программирования | Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными… — ДМК Пресс, (формат: 60x90/16, 134 стр.) Классика программирования Подробнее... | 2016 | 360 | бумажная книга |
| Довек Ж., Леви Ж.-Ж. | Введение в теорию языков программирования | Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными… — (формат: Мягкая глянцевая, 134 стр.) Подробнее... | 2015 | 615 | бумажная книга |
| Классика программирования. Введение в теорию языков программирования | ISBN:978-5-94074-913-4 — ДМК Пресс, (формат: 60х90 1/16 мм, 134 стр.) Архитектура для профессионалов Подробнее... | 2013 | 560 | бумажная книга | |
| Л. Г. Гагарина, Е. В. Кокорева | Введение в теорию алгоритмических языков и компиляторов | Приведен систематизированный курс освоения теории формальных языков и грамматик - как регулярных, так и… — Форум, (формат: 60x90/16, 176 стр.) Высшее образование Подробнее... | 2009 | 371 | бумажная книга |
| Гагарина Л.Г. | Введение в теорию алгоритмических языков и компиляторов. Учебное пособие | Приведен систематизированный курс освоения теории формальных языков и грамматик - как регулярных, так и… — Форум, Высшее образование Подробнее... | 2018 | 618 | бумажная книга |
| Гагарина Л.Г., Кокорева Е.В. | Введение в теорию алгоритмических языков и компиляторов. Учебное пособие | 176 с. Приведен систематизированный курс освоения теории формальных языков и грамматик как регулярных, так и… — Форум, (формат: 60x90/16, 176 стр.) Высшее образование Подробнее... | 2011 | 799 | бумажная книга |
См. также в других словарях:
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Искусственные языки — Искусственные языки знаковые системы, создаваемые для использования в тех областях, где применение естественного языка менее эффективно или невозможно. И. я. различаются по специализации и назначению, а также по степени сходства с естественными… … Лингвистический энциклопедический словарь
СЕМИОТИКА — (от греч. semeiot знак) общая теория знаковых систем, изучающая свойства знаковых комплексов самой различной природы. К таким системам относятся естественные языки, письменные и устные, разнообразные искусственные языки, начиная с формализованных … Философская энциклопедия
Сведение по Карпу — Любой язык программирования называется сводимым по Карпу к языку , если существует функция , вычисляемая за полиномиальное время, где F(x) принадлежит в том случае, если x принадлежит . Язык называется NP трудным, если к нему сводится любой язык… … Википедия
