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

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

Автор: Жан-Жак Леви
Жанр: Математика
Аннотация:

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

     

     

     



    Извините, данная книга недоступна в связи с жалобой правообладателя.

 

 

Ваш комментарий:

 
 

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

николай комментирует книгу «Писатель и самоубийство» (Акунин Борис):

Перед суицидом ПРОЧИТАЙ (выход). Друг, если веришь в написанное ниже - обратись ко мне. Вместо твоей смерти её приму (пообщаюсь с ней) я, схожу (своим путём) туда куда немногим разрешено входить, вернусь и принесу тебе ответ от Всевышнего ЧТО тебе делать в твоей сложной ситуации (либо проблеме, вопросе). Схожу туда также как ходил туда 40 дней Иисус, Моисей и Илия (см.Библию), но ты сам не вздумай. Это действительно НЕ трудно для меня, т.к. есть практика. Важнее всего твоя Жизнь. Иначе в аду все твои прошедшие в жизни беды, горе и боль покажутся тебе просто круизом. Не оставляй чадо своё сиротой, а жену вдовой. Знай друг, что выход ЕСТЬ и не через суицид. Пиши: николай

Сакенчитай комментирует книгу «Лев, колдунья и платяной шкаф» (Льюис Клайв Стейплз):

Как Толкиене очень много интересного

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

Интересный сюжет, живой, простой язык, с юмором и искренними чувствами. Хорошая книга!

Дмитрий Емец комментирует книгу «Лед и пламя Тартара» (Емец Дмитрий):

Вот ссылка на бесплатный сайт: http://buslaev-grotter.ucoz.org/load/mefodij_buslaev/1

Ирина комментирует книгу «Мертвые тоже скачут» (Маргарита Малинина):

Очень интересная, захватывающая книга, как практически все у Малининой. Конец просто убил.

ласточка комментирует книгу «Огонь и лед» (Хантер Эрин):

кому жалко уголька


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