| Теория языков программирования и методы трансляции
Lingua est hostis hominum amicusque diaboli et feminarum
Темы КР для студентов дневной формы обучения
Теория языков программирования и методы трансляции
(для группы 21-06)
Основное содержание будет восстановлено позже.
Литература
Основная
- Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.: Мир, 1979.- 656 с.
- Молчанов А.Ю. Системное программное обеспечение. Л., 2003.- 396 с.
- Молчанов А.Ю. Системное программное обеспечение: Лабораторный практикум. Л., 2005.- 284 с.
- Кузин Л.Т. Основы кибернетики: В 2-х т. Т.2. Основы кибернетических моделей. Учеб. пособие для вузов. - М.: Энергия, 1979.- 584 с.
- Компаниец Р.И. и др. Системное программирование. Основы построения трансляторов. Л., 2000.- 256 с.
- Грис Д. Конструирование компиляторов для цифровых вычислительных машин. - М.: Мир, 1975.- 544 с.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 1 "Синтаксический анализ". М.: Мир, 1978.- 612 с.
- Axo A., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 2 "Компиляция". М.: Мир, 1978.- 487 с.
- Хантер Р. Проектирование и конструирование компиляторов. - М.: Финансы и статистика, 1984.- 232 с.
- Пратт Т. Языки программирования: разработка и реализация. М.: Мир, 1979.- 574 с.
- Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс: В 2-х ч. Ч.1: Пер. с нем.- М.: Мир, 1990. - 336 с.
- Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс: В 2-х ч. Ч.2: Пер. с нем.- М.: Мир, 1990. - 423 с.
- Гросс М., Лантен А. Теория формальных грамматик. М.: Мир, 1971. - 296 с.
Дополнительная
- Рейуорд-Смит В.Дж. Теория формальных языков. Вводный курс: Пер. с англ. - М.: Радио и связь, 1988. - 128 с.
- Маккиман У. и др. Генератор компиляторов. М.: Статистика, 1980.- 527 с.
- Братчиков И.Л. Синтаксис языков программирования. М.: Наука, 1975.- 232 с.
- Вайнгартен Ф. Трансляция языков программирования. М.: Мир, 1977.- 192 с.
- Соколов А.П. Системы программирования: теория, методы, алгоритмы: Учеб. пособие для студентов... М., 2004.- 320 с.
- Костельцев А.В. Построение интерпретаторов и компиляторов
- Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженеров. М., 1988.- 480 c.
- Горбатов В.А. Основы дискретной математики: Учебное пособие для студентов вузов. М.: Высшая школа, 1986.- 311 с.
- Яблонский С.В. Введение в дискретную математику. М., 2002.- 384 c.
- Донован Дж. Системное программирование. М.: Мир, 1975.- 540 с.
- Брой М. Информатика. Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация: В 4-х чч. Ч.4. М.: Диалог-МИФИ, 1998.- 224с.
- Бек Л. Введение в системное программирование: Пер. с англ - М.: Мир, 1988.- 448 с.
- Кауфман В.Ш. Языки программирования. Концепции и принципы. М., Радио и связь, 1993.- 432 с.
- Методы нейроинформатики: Сб.научн. трудов / Под ред. А.Н.Горбаня. Красноярск: КГТУ, 1998.- 204с.
- Бржезовский А.В., Корсакова Н.В., Фильчаков В.В. Лексический и синтаксический анализ. Формальные языки и грамматики - Л.: ЛИАП, 1990.
- Хопгуд Ф. Методы трансляции. М., 1972. (около 160 стр-ц)
- Гинзбург С. Математическая теория контекстно-свободных языков. М.: Мир, 1970.- 326 с.
- Баррон Д. Введение в языки программирования. М., Мир, 1980
- Бен-Ари М. Языки программирования. Практический сравнительный анализ. М., 2000.- 366 с.
- Калинин А.Г., Мацкевич И.В. Универсальные языки программирования. Семантически... М., 1991.- 398 с.
- Лебедев В. Н. Введение в системы программирования. М., Статистика, 1975
- Женюи Ф., ред. Языки программирования. М., 1972.- 408 с.
- Хигман Б. Сравнительное изучение языков программирования. М.: Мир, 1974.- 206 с.
- Язык компьютера. М., Мир, 1989
- Дал У., Дейкстра Э., Хоор К. Структурное программирование. М., Мир, 1975
- Лингер Р., Миллс Х., Уитт Б. Теория и практика структурного программирования. М., Мир, 1982
- Криницкий Н.А. и др. Программирование и алгоритмические языки. М., 1979.- 512 с.
- Вирт Н. Алгоритмы + структуры данных = программы. М., Мир, 1985
- Касьянов В.Н. Оптимизирующие преобразования программ. М., Наука, 1989.
- Касьянов В.Н., Поттосин И. Методы трансляции. М., Наука, 1986.
- Агафонов В.Н. Синтаксический анализ языков программирования. Уч. пособие, Новосибирск, НГУ, 1981. 91 с.
- Гладкий А.В. Формальные грамматики и языки. М.: Наука, 1973. 368 с.
- Грис Д. Наука программирования. М.: Мир, 1984. 416 с.
- Мартыненко Б.К. Синтаксически управляемая обработка данных. СПб: СПбГУ, 1997.- 362 с.
- Саломаа А. Жемчужины теории формальных языков. М.: Мир, 1986.- 159 с.
- Семантика языков программирования. Сборник статей. М.: Мир, 1980. 394 с.
- Соловьев И.П. Формальные спецификации вычислительных систем (Машины Гуревича). Изд. С.-Петербургского университета, 1998.
- Фитиалов С.Я. Формальные грамматики. Л.: ЛГУ, 1984. 99 с.
- Языки и автоматы. Сб. переводов. М.: Мир, 1975. 358 с.
Рабочая программа по аналогичному предмету
|