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

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

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

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

Кропля комментирует книгу «Вьюга теней» (Пехов Алексей Юрьевич):

Пехов - интересное,качественное фэнтези. Хроники Сиалы - зе бест.

Афоня комментирует книгу «Трон Люцифера» (Парнов Еремей Иудович):

Толкиен всё ж на пару тройку десятилетий ранее вроде писал?и уже не только по определению графоманом не может быть-от него все и питаются!и Парёный тоже!

аня комментирует книгу «Опасное соседство» (Вильмонт Екатерина Николаевна):

классная книга!автор точно знает то что нужно подростку

Игорь Васильев комментирует книгу ««Косяк» авторитета» (Михаил Серегин):

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

Аринка комментирует книгу «Любовь в сети и наяву» (Светлана Лубенец):

ваще улёт, такая классная)) ток жаль закончилась на самом интересном...

Мариам комментирует книгу «Success [успех] в Большом городе» (Хакамада Ирина):

Очень полезная и интересная книга, помогающая открыть в себе новые грани,пробудить свой внутренний потенциал,посмотреть на жизнь в ином цвете! Огромное спасибо Ирине Хакамаде за книгу!

Димастый комментирует книгу «Тайная война воздушного штрафбата» (Антон Кротков):

А когда выйдут остальные книги в формате аудиокниги ? Я "Мертвую петлю ..." слушал в машине - да так и просидел всю ночь в ней ... Какие ещё комментарии нужны :):):)

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

О книге стихов Александра Цыганкова «Ветер над берегом»: "Лиричность, завораживающие искренность и легкость стихотворений автора вряд ли смогут оставить равнодушными читателя..."

Грациелла комментирует книгу «История Бедной Беседки» (Тарасов Александр):

Очень трогательно!

^_^ комментирует книгу «Янка (стихи)» (Неизвестен Автор):

Тп не понять этих стихов.

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

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

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

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

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

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

Жанры