URSS.ru Магазин научной книги
Обложка Калинин А.Г., Мацкевич И.В. Универсальные языки программирования. Семантический подход Обложка Калинин А.Г., Мацкевич И.В. Универсальные языки программирования. Семантический подход
Id: 24194
1999 р.

Универсальные языки программирования.
Семантический подход

1991. 400 с. ISBN 5-256-00638-X. Букинист. Состояние: 4+.
  • Твердый переплет

Аннотация

Обобщены и систематизированы требования к современным языкам программирования (С, Паскаль, Модула, Ада и др.). С единых позиций рассмотрены синтаксис и семантика всех средств описания данных простых (числовых, персчислимых) и структурных (массивы, записи, объединения) типов, динамических структур данных, а также средств контроля типов. С таких же позиций рассмотрены распространенные и перспективные средства описания действий (выражения,... (Подробнее)


Оглавление
top

Введение........................... 3

1. Общая характеристика языков программирования....... 13

1.1. Характеристики и свойства языков программирования....................................... 13

1.2. Пути развития и классификация языков программирования.............. 17

1.3. Основные понятия языков программирования....... 23

2. Средства описания данных.................. 53

2.1. Типизация языка.................... 53

2.2. Простые типы данных................. 67

2.3. Структурные типы данных............... 87

2.4. Динамические структуры данных............ 103

3. Средства описания действий................. 109

3.1. Определение семантики средств описания действий...................................... 109

3.2. Выражения и операторы действия............ 115

33. Операторы управления................. 121

3.4. Блоки......................... 146

3.5. Подпрограммы..................... 153

3.6. Пакеты........................ 188

4. Абстрактные типы данных................. 191

4.1. Инкапсуляция..................... 194

4.2. Спецификация абстрактного типа данных........ 200

4.3. Реализация абстрактного типа данных.......... 232

4.4. Доказательство правильности реализации........ 235

4S. Параметризация.................... 243

5. Обработка файлов..................... 251

5.1. Операции с файлами. Виды файлов........... 251

5.2. Обработка текстовых файлов.............. 257

5.3. Обработка файлов на внешних запоминающих устройствах....... 262

5.4. Обработка нестандартных файлов........ 275

6. Обработка исключений................... 279

6.1. Простейшие способы обработки исключений....... 282

6.2. Обработка исключений с помощью меток...... 290

6.3. Структурный механизм обработки исключений...... 293

6.4. Восстановление вычислительного процесса........ 305

6.5. Определение семантики средств обработки исключений........................... 311

7. Параллельная обработка................... 321

7.1. Процессы....................... 322

7. 2. Взаимное исключение.................. 327

73.Синхронизация процессов................ 346

7.4. Передача сообщений.................. 356

8 Макрообработка....................... 372

81 Классификация макропроцессоров............ 373

82. Текстовые макропроцессоры............... 375

83. Синтаксические макропроцессоры............ 382

Приложение. Правила вывода.................. 384

Список литературы...................... 395