Введение в теорию языков программирования
Жиль Довек, Жан-Жак Леви
Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
Thể loại:
Năm:
2013
Nhà xuát bản:
ДМК Пресс
Ngôn ngữ:
russian
Trang:
135
ISBN 10:
5940749135
ISBN 13:
9785940749134
File:
PDF, 10.25 MB
IPFS:
,
russian, 2013