В книге систематизированы общие принципы, лежащие в основе различных языков программирования. Ее можно рассматривать и как вводный курс при изучении конкретных языков, в частности языков АЛГОЛ, ФОРТРАН и КОБОЛ. Довольно подробно рассматриваются основные понятия и конструкции языков программирования. Изложение материала иллюстрируется большим количеством примеров на самых различных языках. Книга будет полезна студентам, аспирантам и специалистам, занимающимся математическим обеспечением ЭВМ. Она также представляет значительный интерес для читателей, которые хотят познакомиться со структурой языков в целом и с использованием языков как средства общения.
Author(s): Хигман Б.
Series: Математическое обеспечение ЭВМ
Publisher: Мир
Year: 1974
Language: Russian
Pages: 211
Tags: Информатика и вычислительная техника;Информатика (программирование);
Предисловие редактора перевода......Page 6
1. Введение......Page 8
1.1. Язык примеров......Page 9
1.2. Предварительные определения......Page 10
1.3. Наши задачи......Page 12
1.4. Некоторые вопросы эксплуатации......Page 14
2. Общее понятие языка......Page 15
2.1. Естественные и искусственные языки......Page 16
2.2. Синтаксис и семантика......Page 17
2.3. Обмен алгоритмами......Page 18
2.4. Сущность вычисления......Page 20
2.5. Чистые процедуры......Page 21
2.6. Классификация языков......Page 23
2.7. Значения имен в языках программирования......Page 25
3.1. Сущность рекурсии......Page 28
3.2. Приложения рекурсии......Page 30
3.3. Некоторые замечания......Page 31
4. Польская запись......Page 34
5.1. Имена и кодослова......Page 37
5.2. Лямбда-обозначения......Page 39
5.3. Присваивание как универсальная команда......Page 40
5.4. Дополнительный смысл присваивания......Page 41
5.5. Литералы......Page 43
5.6. Формальная теория имен......Page 46
6. Язык и система......Page 50
6.1. Семантика формата......Page 51
6.2. Аварийные прерывания......Page 54
6.3. Системное программирование......Page 55
7.1. Основные принципы формальной грамматики......Page 56
7.2. Дальнейшее развитие......Page 59
7.3. Контекстно-свободные и другие грамматики......Page 61
7.4. Псевдоконтекстно-свободные языки......Page 63
7.5. Упрощенные свойства грамматик......Page 66
7.6. Формальная семантика......Page 67
8. Макрогенератор......Page 74
8.1. Синтаксис......Page 75
8.2. Семантика......Page 76
8.3. Несколько дополнительных замечания о языке......Page 79
8.4. Примеры......Page 81
9. От машинного кода к фортрану......Page 86
9.1. Машинный код......Page 87
9.2. Код ассемблера......Page 88
9.3. Грамматика машинных языков......Page 90
9.4. Ранние автокоды......Page 91
9.5. Сравнение Автокода и Фортрана......Page 94
9.6. Джовиал......Page 97
10. КОБОЛ......Page 98
10.1. Структура программы......Page 99
10.2. Раздел оборудования......Page 100
10.3. Дальнейшие подробности......Page 102
10.4. Раздел данных......Page 104
10.5. Раздел процедур......Page 107
11. АЛГОЛ......Page 111
11.1. Дальнейшее развитие понятия процедуры......Page 114
11.2. Различные способы обращения к параметрам......Page 117
11.3. Возможности более высокого уровня......Page 119
11.4. Критика......Page 121
12. Языки обработки списков......Page 123
12.1. Система обозначения в языке Лисп......Page 124
12.2. Процедурные языки обработки списков......Page 125
12.3. Язык IPL-V......Page 127
13.1. Первые впечатления......Page 130
13. Языки CPL и PL/I......Page 131
13.2. Методы разработки языков......Page 133
13.3. Конкретные требования......Page 135
13.5. Несколько конкретных замечаний......Page 138
13.6. Типы......Page 143
13.7. Описатели......Page 147
13.8. Описатели в процедурах......Page 151
13.9. Другие адресные типы......Page 154
13.10. Возможности использования циклов......Page 156
13.11. Специфические свойства......Page 158
14. Ввод и вывод 160......Page 161
14.1. Ранние языки......Page 162
14.2. Язык Алгол и АЛГОЛ/IFIP......Page 164
14.3. Язык Алгол/ACM......Page 167
14.4. Ввод и вывод в языке PL/1......Page 171
14.6. Заключительные замечания......Page 175
15.1. Специальные языки......Page 178
15.2. Новые возможности......Page 180
15.3. Подмножества английского языка......Page 185
15.4. Алгоритмическая теория языка Росса......Page 188
Список литературы......Page 198
