Введение в теорию языков программирования
Об издании
Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования – операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
Библиографическая запись
Довек, Ж. Введение в теорию языков программирования / Ж. Довек, Ж. -Ж. Леви ; перевод В. Н. Брагилевский, А. М. Пеленицын. — 2-е изд. — Москва : ДМК Пресс, 2023. — 134 c. — ISBN 978-5-89818-582-4. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/159649.html (дата обращения: 19.03.2026). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Альжанова Э.Е.
(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)
Миронов А.В., Садриева А.Н., Филатова Л.П.
(Профобразование, Ай Пи Ар Медиа)
Емельянова А.А., Огородникова О.А., Челнокова А.Ю., Шульгина Д.П., Ртищева Г.А., Щулепникова Е.И., Набокина М.Е.
(Ай Пи Ар Медиа)
Есипова С.А., Зелинская А.Б., Плучевская Э.В., Хромцова Л.С.
(Профобразование, Ай Пи Ар Медиа)