1. А.В. Гордеев, А.Ю. Молчанов. Системное программное обеспечение Питер 2001
2. Ахо А., Сети Р., Ульман Д. Компиляторы: принципы, технологии и инструменты Вильямс 2001
3. Пратт Т., Зелковиц М. Языки программирования: разработка и реализация Питер 2002
4. Себеста Р. Основные концепции языков программирования Вильямс 2001
5. Хантер Р. Основные концепции компиляторов Вильямс 2002
6. Костельцев А.В. Построение интерпретаторов и компиляторов Наука и техника 2001
7. Бен-Ари М. Языки программирования. Практический сравнительный анализ Мир 2000
8. Роббинс Д. Отладка Windows-приложений ДМК Пресс 2001
9. Бек Л. Введение в системное программирование Мир 1988
10. Касьянов В.Н., Поттосин И.В. Методы построения трансляторов Наука 1986
11. Ахо А., Ульман Д. Теория синтаксического анализа, перевода и компиляции Мир 1978
12. Грис Д. Конструирование компиляторов для цифровых вычислительных машин Мир 1975
13. Донован Д. Системное программирование Мир 1975
1. Книга, заявленная как учебник, написанный в соответствии со стандартом дисциплины "Системное программное обеспечение" по направлению "654600 "Информатика и вычислительная техника". Книга состоит из двух частей: операционные системы и компиляторы. Обе части написаны довольно неплохо, в конце каждой главы есть контрольные вопросы. Однако в ней отсутствуют темы, которые прописаны в стандарте: ассемблеры, макропроцессоры, линкеры и загрузчики и ряд других, которые в настоящее время практически обязательно включать в учебник по этой дисциплине. В 2003 году книга вышла в издательстве Питер двумя отдельными книгами в той же серии "Учебник".
2. Фундаментальнейший труд по компиляторам, признанный классическим, и наконец-то переведенный у нас в России. Формальные грамматики описываются с практической точки зрения – в объеме, необходимом для понимания и применения при разработке компилятора. Все фазы трансляции описаны подробнейшим образом. Алгоритмы описываются на С-подобном языке и вполне могут служить основой для реальных программ. Идеальный учебник по специальному курсу, посвященному разработке компиляторов. Содержит множество хороших упражнений в конце каждой главы. В приложениях приведены формальные грамматики С++ и С# в формате YASS/Bison. Из недостатков можно отметить один, но очень важный: в книге отсутствуют сведения о трансляции объектно-ориентированных конструкций современных языков программирования. Это связано с тем, что написана она довольно давно – в 1985 году.
3. Отличная книга по языкам и методам трансляции, написанная по учебному курсу, который более 30 лет читается в университете штата Мэриленд. Основное содержание посвящено методам трансляции различных конструкций языков программирования. В конце каждой главы приведены задачи и упражнения. Однако в отличие от предыдущего фолианта эта книга не является учебником по компиляторам, так как изложение построено не на основе фаз трансляции, а на основе трансляции базовых конструкций языков программирования. Содержит главы, описывающие трансляцию объектно-ориентированных конструкций. Есть глава, посвященная сетевому программированию.
4. В книге излагаются проблемы разработки языков программирования. Основное внимание уделено разработке семантики языковых конструкций. Содержит описание и существующие решения практически всех проблем, которые могут возникнуть при разработке нового языка. Отдельные главы посвящены функциональным языкам программирования и языкам логического программирования. Книга очень интересно оформлена: на титульной странице каждой главы помещена фотография одного человека, сыгравшего значительную роль в развитии информационных технологий. Чрезвычайно интересен исторический аспект языков программирования, изложенный в книге.
5. Небольшая книга, выпущенная издательством Вильямс в серии "Основы вычислительных систем". Содержит краткое, но достаточно полное изложение всех фаз процесса компиляции. Книга построена на применении систем Lex и YACC и содержит описание основ P-кода и байт-кодов JVM. В конце каждой главы есть небольшой набор упражнений, а в конце книги приведены решения. Может служить основой семестрового курса по компиляторам. У того же автора есть другая, более серьезная книга "Проектирование и конструирование компиляторов", переведенная и изданная в 1984 году в издательстве Финансы и статистика. Однако изложение в ней основано на языке Алгол-68, который в настоящее время в России практически забыт. По крайней мере, его реализации на персональных компьютерах мне не встречались.
6. Еще одна небольшая книжка (всего 6 глав), в которой описывается построение компилятора с помощью более современных по сравнению с lex и yacc, свободно распространяющихся систем flex, bison, byacc. Последняя глава содержит описание еще одной такой программы – zubr. Возможно, это разработка автора и книга написана для защиты диссертации. Книга практически не содержит текста, но в ней очень много исходных текстов программ на С. Продается вместе с CD, на котором записаны все эти программы, а так же еще ряд свободно распространяющихся программ.
7. Совершенно блестящая книга, посвященная сравнительному анализу языков программирования. Великолепное изложение, видимо, во многом объясняется прекрасным переводом и редактированием В.С. Штаркмана — очень известного переводчика компьютерной литературы. По содержанию близка к книге 4, однако стиль изложения существенно отличается. В конце каждой главы – набор упражнений.. Рекомендована методическим советом программистских кафедр факультета ВМК МГУ в качестве учебника по языкам программирования.
8. Пожалуй, единственная книга, в которой описывается не только использование, но и программирование отладчиков . Автор книги известен всему программистскому миру как один из разработчиков очень известных программных продуктов: BoundsChecker и SoftICE. В книге представлен исчерпывающий материал по данной теме. Хотя изложение ведется на основе программирования для Windows, это не мешает автору формулировать общие принципы работы отладчиков. Общие принципы иллюстрируются практическими примерами работы отладчиков Visual C++ и Visual Basic. Книга продается вместе с CD, на котором записаны все исходные тексты примеров, Windows SDK и версии некоторых свободно распространяемых программных продуктов для отладки.
9. Эта книга, как написано в предисловии, может рассматриваться как учебное пособие по курсу "Системное программирование". В настоящее время книга является единственной, в которой изложено примерно 2/3 основных тем, которые должны быть представлены в курсе по системному программированию. В конце каждой главы – упражнения. Однако не рассмотрены некоторые важные темы (например, мейкер, отладчик, профайлер), а самое главное – книга морально устарела. Изложение ведется на основе учебной виртуальной машины, типичной для 80-х годов прошлого столетия. В качестве реальных систем представлены практически не используемые в настоящее время в России IBM/370, VAX и CYBER.
10. Малоизвестная книга известных новосибирских ученых. Изложены все необходимые темы по компиляторам, вплоть до автоматизации построения трансляторов. Стиль несколько суховат и наукообразен, как было принято в советских научных изданиях. Изложение ведется на основе построения транслятора для учебного алгоритмического языка Минал с русскоязычным синтаксисом. Текстов программ нет – только обобщенные схемы алгоритмов в том или ином виде. Упражнения также отсутствуют. В конце содержит прекрасный список литературы, самой свежей на момент издания.
11. Классический двухтомный труд по теории и практике построения компиляторов. Книга не потеряла своей актуальности и в настоящее время. Том 1 посвящен анализу: лексическому и синтаксическому на основе теории формальных языков и грамматик, а том 2 — более практическим вопросам: генерации и оптимизации кода. В конце каждой главы – упражнения. Книга, однако, излишне перегружена теоретическими вопросами, приводится множество теорем с доказательствами, что существенно затрудняет изучение и понимание предмета. Тем не менее, может служить основой годового курса по компиляторам.
12. Классика жанра. Я начинал изучать компиляторы именно по этой книге, и она до сих пор верно служит мне в качестве источника сведений в курсе лекций по системному программированию. Дэвид Грис вообще прекрасно пишет, а здесь еще и блестящая команда переводчиков и научных редакторов. Книга содержит необходимые теоретические основы и практические сведения по компиляторам, однако не перегружена теорией, как предыдущий труд. Грису органично присуще чувство меры. В конце каждой главы – небольшой набор упражнений по теме. Хотя в некоторых аспектах книга устарела, но я предпочитаю пользоваться ей, чем какой-либо другой.
13. Содержание книги, как и содержание книги Бека (9), соответствует тематике курса "Системное программирование". Единственный, но очень существенный минус – книга очень устарела. Изложение ведется на основе архитектуры IBM/360 и программного обеспечения, реализованного в этой системе.
Могу еще добавить, что по языкам программирования, методам трансляции и компиляторам всегда было много литературы, из которых можно отметить следующие:
1) Хопгуд Ф. Методы компиляции.-М.: Мир, 1972.
2) Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы построения трансляторов. – М.: Мир, 1979 – отличная книга, в которой описывается реализация интерпретатора Basic
3) Маккиман У., Хорнинг Дж., Уортман Д. Генератор компиляторов. — М.: Статистика, 1980.
4) Кауфман В.Ш. Языки программирования. Концепции и принципы, изданную в 1990 году.
5) Серебряков В.И. Лекции по конструированию компиляторов. – М.: МГУ, 1997.
В интернете можно найти огромное количество материалов по языкам программирования и компиляторам. Например, лекции Легалова, книга Креншоу, те же лекции Серебрякова.
В книге Зелковиц М., Шоу А., Гэннон Дж. "Принципы разработки программного обеспечения" есть прекрасная глава по компиляторам, в которой описывается разработка компилятора для языка, похожего на PL/I.
Издательство Мир выпускало серию Математическое обеспечение ЭВМ, в которой был ряд книг, посвященных системному программированию:
1) Баррон Д. Ассемблеры и загрузчики – единственная книга по данной теме.
2) Баррон Д. Введение в языки программирования — хороший обзор конструкций языков того времени.
3) Браун П. Макропроцессоры и мобильность программного обеспечения – одна из двух книг серии, посвященная макропроцессорам. Макропроцессор ML/I, описанный в книге, является свободно распространяемым и его можно скачать с сайта автора. Браун написал еще крошечный обзор "Макропроцессоры", в котором в очень сжатом виде по теме изложено все.
4) Кемпбелл-Келли М. Введение в макросы – вторая книжка по макросам, где неплохо описаны, например, синтаксические макросы.
5) Вайнгартен A. Трансляция языков программирования — в книге описываются двухуровневые грамматики, разработанные специально для реализации алгола–68.
6) Фостер Д. Автоматический синтаксический анализ – очень небольшая и просто написанная книжка.
7) Вирт Н. Алгоритмы+структуры данных=программы – в ней есть прекрасная глава по трансляции языков программирования, причем с текстами программ на языке Pascal. Во втором издании этой главы уже нет.
8) Хигман Б. Сравнительное изучение языков программирования
