Современная электронная библиотека ModernLib.Net

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

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

Случайные комментарии

Кобра комментирует книгу «Ангелы-хранители» (Кунц Дин Рэй):

Читала в детстве. Три дня вспоминала название. Дико хочу перечитать! Великолепная вещь!!!

ученик комментирует книгу «Легенды и мифы Древней Греции» (Кун Николай Альбертович):

иц вери кул, мне в шестом помогло за год пять получить, фенкс

Михатл комментирует книгу «Площадь павших борцов» (Пикуль Валентин Саввич):

Почему нельзя прочитать "Площадь павших борцов2 Очень хотелось прочесть, особенно после прочтения "Барбаросса", ведь познакомится с этими произведениями стало возможно с покупкой электронной книги, ведь этот материал - последние его произведения!

Арсен комментирует книгу «Водяра» (Таболов Артур):

Самое интересное что в романе Таболова минимум вымысла. Просто я сам живу в Осетии и многое из описанного видел.

Олинуся комментирует книгу «Экзамен любви» (Воробей Вера и Марина):

Супер! Сестры пишут офигенные романы! Я рада за них!

Эркин комментирует книгу «Позывной - 'Кобра'» (Абдулаев Эркебек):

Прочитал 1-4 главы - описание детства и юности автора в 60-80г.г. Как будто я сам туда вернулся - в свое детство и юность. Я земляк автору и немного младше него, я родом из тех мест где он родился и вырос - из Талаского района. Он так подробно и красочно описал тот период времени, с такими подробностями и так метко обрисовал нравы и быт, который царил в наших краях.... Мне не так было интересно читать военный период, как начальные главы... Получил огромное удовольствие. Пусть земля будет пухом и низкий тебе поклон Байке. Ты истинный патриот и достойный сын своего народа...

ами комментирует книгу «Убийство на улице Морг» (По Эдгар Аллан):

супер

Аннетт комментирует книгу «Ничто не вечно» (Шелдон Сидни):

Очень интересная книга! Читается легко! Главы небольшие, что очень удобно.

елена комментирует книгу «Есть ли жизнь без мужа?» (Южина Маргарита):

Господи! Писатели очень бедны!!! Все только за деньги.Какая может быть популярность? Вас скоро и в метро перестанут читать.

Павел комментирует книгу «Уловка-22» (Хеллер Джозеф):

Хорошее произведение, заставляет задуматься над абсурдом войны и бюрократической системы, да и взглянуть на героизм с другой точки зрения.

Информация для правообладателей

ЭЛЕКТРОННАЯ БИБЛИОТЕКА ModernLib.Net

Жан-Жак Леви - Введение в теорию языков программирования, скачать книгу бесплатно

Популярные авторы

Популярные книги

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

Жанры