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

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

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

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

ФыышК комментирует книгу «Огненные врата» (Дмитрий Емец):

Очень хотелось бы прочитать книгу, если кому не лень, скиньте на файл хост и ссылку выложите

Галина комментирует книгу «Лолита» (Набоков Владимир Владимирович):

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

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

меч без имени-самая классная книга!

Махмуд комментирует книгу «Тайный советник вождя» (Успенский Владимир Дмитриевич):

Продам книгу ТАЙНЫЙ СОВЕТНИК ВОЖДЯ В первичной верстке 3 Тома ermarov_1@mail.ru

Александр комментирует книгу «История Второй мировой войны» (Типпельскирх Курт Фон):

Спасибо, буду читать.

Владимир Шебзухов комментирует книгу «Драконы Пропавшей Звезды» (Уэйс Маргарет):

НЕЛЁГКИЙ ВЫБОР автор Владимир Шебзухов Иметь маловато, казаться вдруг стало, Сокровищ своих, излучающих свет. Копилось богатство, ни много, ни мало, Полжизни дракона, аж тысячу лет. Но все эти годы, века за веками, Кружил над драконом мечтания дух. Мечтатель ночами, застывши, как камень, Глядел на горящую в небе звезду. Спросил он у старца: «Ну как же в пещеру Далёкую эту звезду затащить? Так ярче сокровищ, я знаю и верю, Сумеет жилище моё осветить!» «К ней тысячу лет всё лететь тебе надо! – Ответил с улыбкою старец ему – А, коль долетишь, и воздастся награда -- Навеки забудешь пещерную тьму!» Дракон произнёс: «Хоть живу я и много, Две тысячи лет, столь – любому прожить! Но тысяча -- долгая, больно, дорога… Остаться ж -- знать, десять веков мне тужить!» «Где лучше встречать свою смерть на закате; В огромном богатстве -- подумаешь ты -- Иль в звёздных лучах распростертых объятий, Что явь осветит долгожданной мечты?» От старца и выпал тот выбор дракону. Спасибо сказать мудрецу лишь успел, Воспрянул дракон от сердечного звона, Раскрыв свои крылья, к звезде полетел…

Петруха комментирует книгу «Таинственное происшествие в Стайлз» (Кристи Агата):

Это первая книга в котором Агата Кристи рассказывает о Эркюле Пуаро. Произведение мне очень понравилось, советую прочитать.

Дмитрий комментирует книгу «Фиалки синие» (Паттерсон Джеймс):

Изумительный бред, как, впрочем, практически вся серия про великого негритянского следопыта Алекса Кросса! Перед написанием этого произведения, автор не удосужился проконсультироваться у судебных медиков, психологов, сотрудников ФБР, полиции и пр. специалистов. Это понятно, зачем лишние издержки. Поэтому, все произведения исполнены по незамысловатой схеме: очень много трупов, сцен кровавых совокуплений и извращений (что публике ещё надо?), бесцельно мечащуеся всю дорогу Алекс, ФБР и пр. Никогда нет ни следов преступления, ни свидетелей и прочей мишуры, походу дела все возможные криминалистические лаборатории отдыхают, так как их никто и не думал привлекать. В конце, вдруг откуда ни возьмись, появляется след, который с большим смертельным риском реализует великий Алекс! Всё, продолжительные аплодисменты!

Антон комментирует книгу «Дату смерти изменить нельзя» (Сергей Донской):

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

Екатерина комментирует книгу «Хранить вечно» (Копелев Лев Зиновьевич):

Спасибо тебе,Лев Зиновьевич! "Хранить вечно" прочитала, можно сказать,на одном дыхании!Очень интересно! Очень сильная книга!Ты-герой,Лев! Правда,правительство наше почему-то молчит? Крепость сдалась без боя, благодаря этому человеку! А правительство молчит...

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

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

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

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

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

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

Жанры