URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


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

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

1991. 400 с. Твердый переплет. ISBN 5-256-00638-X. Букинист. Состояние: 4+. Есть погашенная печать расформированной библиотеки.

 Аннотация

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

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

Может служить методологической основой при проектировании, оценке и освоении языков, при разработке учебных курсов по конкретным языкам программирования, а также при верификации программ аналитическими методами.

Для научных работников, может быть полезна профессиональным программистам.


 Оглавление

Введение........................... 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

 
© URSS 2016.

Информация о Продавце