Уведомлений еще не было
Оцените книгу
1
2
3
4
5
6
7
8
9
10
Ваша оценка 0
Скачать
Литрес
199.00 ₽
Литрес
Лабиринт
613.00 ₽
Литрес
199.00 ₽

Описание книги

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

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

  • Просмотров: 624
  • Рецензий: 0
Информация об издании
  • Переводчики: не указаны
  • Серия: Классика программирования
  • ISBN (EAN): 978-5-97060-242-3
  • Языки: Русский
  • Возрастное ограничение: не указано
  • Год написания: 2016


К этой книге не добавлены цитаты
Эта книга еще не добавлена в подборки
К ЭТОЙ КНИГЕ НЕ ДОБАВЛЕНЫ персонажи
К ЭТОЙ КНИГЕ НЕ ДОБАВЛЕНЫ ТЕСТЫ
ОГЛАВЛЕНИЕ ОТСУТСТВУЕТ
КНИГА НЕ УПОМИНАЛАСЬ В БЛОГАХ

Рецензии на книгу

Написано 0 рецензий

Программное обеспечение
8.2
0
0
Head First. Программирование для Android
Head First. Программирование для Android

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

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

Как противостоять натиску компьютерных технологий, проникающих в нашу жизнь с ужасающей скоростью? Наши телефоны, фотокамеры, автомобили - все, что нас окружает, автоматизируется, программируется, создается людьми, которые, стремясь получить выгоду от применения микросхем, уклонились от своей прямой обязанности - делать эти продукты простыми в применении. И это не преувеличение, это реальность. Н...

Программное обеспечение
8.4
0
0
PHP 7
PHP 7

"Рассмотрены основы языка PHP и его рабочего окружения в Windows, Mac OS X и Linux. Отражены радикальные изменения в языке PHP, произошедшие с момента выхода предыдущего издания: трейты, пространство имен, анонимные функции, замыкания, элементы строгой типизации, генераторы, встроенный Web-сервер и многие другие возможности. Приведено описание синтаксиса PHP 7, а также функций для работы с массива...

Программирование
8.8
0
0
Интерфейс. Основы проектирования взаимодействия
Интерфейс. Основы проектирования взаимодействия

Алан Купер начал работу над первым изданием этой книги 20 лет назад. Он убеждал программистов в том, что пришла пора шагнуть навстречу пользователям и начать писать программы, которые будут им нравиться. В наши дни сложилась совершенно иная ситуация - оцифровка всех видов информации заставила пользователей с головой окунуться в новые технологии. Четвертое издание книги учитывает все изменения в от...

Программное обеспечение
8.0
0
0
ES6 и не только
ES6 и не только

Даже если у вас уже есть опыт работы с JavaScript, скорее всего, язык вы в полной мере не знаете. Особое внимание в этой книге уделяется новым функциям, появившимся в Ecmascript 6 (ES6) – последней версии стандарта JavaScript.ES6 повествует о тонкостях языка, малознакомых большинству работающих на JavaScript программистов. Вооружившись этими знаниями, вы достигнете подлинного мастерства; выучите н...

Программное обеспечение
8.6
0
0
Android. Программирование для профессионалов
Android. Программирование для профессионалов

Когда вы приступаете к разработке приложений для Android - вы как будто оказываетесь в чужой стране: даже зная местный язык, на первых порах всё равно чувствуете себя не комфортно. Такое впечатление, что все окружающие знают что-то такое, чего вы никак не понимаете. И даже то, что вам уже известно, в новом контексте оказывается попросту неправильным. Третье издание познакомит вас с интегрированной...

Программное обеспечение
0.0
0
0
CSS. Карманный справочник
CSS. Карманный справочник

Работая с каскадными таблицами стилей (CSS), читатель может быстро найти нужный ответ в этом удобном кратком справочнике, в котором предоставляются все основные сведения, необходимые для оперативной реализации CSS. Этот карманный справочник идеально подходит для веб-разработчиков от промежуточного до продвинутого уровня квалификации, а его четвертое издание дополнено согласно спецификации CSS3. По...

Компьютеры
7.4
0
0
Алгоритмы. Теория и практическое применение
Алгоритмы. Теория и практическое применение

Алгоритмы - это рецепты, которые делают возможным эффективное программирование. Их изучение позволяет усвоить общие подходы к решению задач и накапливать полезные методики для их решения. В этой книге представлено множество классических алгоритмов, вы узнаете, где они применяются и как их анализировать, чтобы понять их поведение. Эта книга может быть полезной не только в вашей текущей профессионал...

Программное обеспечение
8.0
0
0
HTML5 и CSS3. Разработка сайтов для любых браузеров и устройств
HTML5 и CSS3. Разработка сайтов для любых браузеров и устройств

Сегодня как никогда остро стоит проблема адаптивного веб-дизайна. Все больше планшетных компьютеров, смартфонов и даже телевизоров используется для выхода в Интернет. Разработчикам веб-страниц требуется принимать во внимание огромное разнообразие размеров экранов, а также учитывать особенности соответствующего пользовательского взаимодействия. Адаптивный веб-дизайн позволяет наилучшим образом отоб...

Программное обеспечение
8.8
0
0
Простой Python. Современный стиль программирования
Простой Python. Современный стиль программирования

Эта книга идеально подходит как для начинающих программистов, так и для тех, кто только собирается осваивать Python, но уже имеет опыт программирования на других языках. В ней подробно рассматриваются самые современные пакеты и библиотеки Python. Стилистически издание напоминает руководство с вкраплениями кода, подробно объясняя различные концепции Python 3. Под обложкой вы найдете обширный матери...

Программирование
8.8
0
0
Языки программирования. Концепции и принципы
Языки программирования. Концепции и принципы

Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках программирования. Представлены разные стили программирования (операционный, ситуационный, функциональный, реляционный, параллельный, объектно-ориентированный). Базовые концепции и принципы рассмотрены с пяти различных позиций (технологической, авторской, математической, семиотической и реализаторской...

Программное обеспечение
0.0
0
0
Построение компиляторов
Построение компиляторов

Книга известного специалиста в области информатики Никлауса Вирта написана по материалам его лекций по вводному курсу проектирования компиляторов. На примере простого языка Оберои-0 рассмотрены все элементы транслятора, включая оптимизацию и генерацию кода. Приведен полный текст компилятора на языке программирования Оберон. Для программистов, преподавателей и студентов, изучающих системное програм...

Программирование
8.4
0
0
Введение в UML от создателей языка
Введение в UML от создателей языка

Унифицированный язык моделирования (Unified Modeling Language, UML) является графическим языком для визуализации, специфицирования, конструирования и документирования систем, в которых большая роль принадлежит программному обеспечению. С помощью UML можно разработать детальный план создаваемой системы, содержащий не только ее концептуальные элементы, такие как системные функции и бизнес-процессы, ...

Программирование
8.0
0
0
Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга

Книга, которую вы держите в руках, принадлежит перу известного американского популяризатора Чарлза Петцольда. В ней автор исследует главную работу Алана Тьюринга, посвященную проблеме разрешимости. Именно в этой работе впервые появились знаменитые машины Тьюринга, ставшие на многие годы универсальной теоретической концепцией computer science. Автор тонко и деликатно проведет вас по самым потаенным...

Программирование
0.0
0
0
Разработка операционной системы и компилятора. Проект Оберон
Разработка операционной системы и компилятора. Проект Оберон

«Мы хотели не только дать совет, как может создаваться система, но и показать, как она была создана. В связи с этим ключевую роль в книге играют тексты программ: только они содержат окончательные объяснения. По этой причине выбору удобного формализма придавалась особая важность: мы разрабатывали язык Оберон не только как эффективный инструмент реализации, но и как средство публикации алгоритмов. Б...

Программирование
0.0
0
0
Алгоритмы и структуры данных. Новая версия для Оберона
Алгоритмы и структуры данных. Новая версия для Оберона

В классическом учебнике тьюринговского лауреата Н. Вирта аккуратно, на тщательно подобранных примерах прорабатываются основные темы алгоритмики - сортировка и поиск, рекурсия, динамические структуры данных. Перевод на русский язык выполнен заново, все рассуждения и программы проверены и исправлены, часть примеров по согласованию с автором переработана с целью максимального прояснения их логики (в ...