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

• Тип: Текст PDF
• Авторы: Жан-Жак Леви, Жиль Довек
• Издательство: ДМК Пресс(2013)
• Год написания: 2013
• ISBN: 978-5-94074-913-4, 978-5-457-42673-3
• Страниц: 127
• Язык: Русский

• Жанры: Информатика и вычислительная техника, Программирование, Зарубежная компьютерная литература, Математика, Зарубежная образовательная литература
• Теги: Информатика и вычислительная техника, Языки программирования, Эффективные алгоритмы, Обучение программированию

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