год издания — 1991, кол-во страниц — 400, ISBN — 5-256-00638-X, тираж — 10000, язык — русский, тип обложки — твёрд. 7Б, масса книги — 420 гр., издательство — Радио и связь

цена: 299.00 руб

Сохранность книги — хорошая

Р е ц е н з е н т:
д-р техн. наук, проф. В. В. Липаев

Формат 60x88 1/16. Бумага типографская №2. Печать офсетная

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

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

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

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

Ил. 19. Библ. 72 назв.

Введение	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
3.3. Операторы управления	121
3.4. Блоки	146
3.5. Подпрограммы	153
3.6. Пакеты	188
4. Абстрактные типы данных	191
4.1. Инкапсуляция	194
4.2. Спецификация абстрактного типа данных	200
4.3. Реализация абстрактного типа данных	232
4.4. Доказательство правильности реализации	235
4.5. Параметризация	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
7.3. Синхронизация процессов	346
7.4. Передача сообщений	356
8. Макрообработка	372
8.1. Классификация макропроцессоров	373
8.2. Текстовые макропроцессоры	375
8.3. Синтаксические макропроцессоры	382
Приложение. Правила вывода	384
Список литературы	395

Книги на ту же тему

Языки программирования. Концепции и принципы, Кауфман B. Ш., 1993
Сравнительное изучение языков программирования, Хигман Б., 1974
Языки программирования. Практический сравнительный анализ, Бен-Ари М., 2000
Математическая логика в программировании: Сборник статей 1980—1988 гг., Захарьящев М. В., Янов Ю. И., ред., 1991
Программирование на современных алгоритмических языках: Учебное пособие для втузов.— 3-е изд., перераб. и доп., Пярнпуу А. А., 1990
Новое в зарубежной лингвистике. Вып. XXIII. Когнитивные аспекты языка, Петров В. В., Герасимов В. И., сост., 1988
Теоретико-множественные модели языков, Маркус С., 1970
Программирование на IBM/360. — 4-е изд., Джермейн К., 1983
Язык Ассемблера для IBM PC и программирования, Абель П., 1992
Индивидуальная отладка программ, Безбородов Ю. М., 1982
Фортран и искусство программирования персональных ЭВМ, Уорд Т., Бромхед Э., 1993
Современные языки и технологии параллельного программирования: Учебник, Гергель В. П., 2012
Программирование и алгоритмические языки, Криницкий Н. А., Миронов Г. А., Фролов Г. Д., 1975
Практика программирования на Фортране: Упражнения с комментариями, Дрейфус М., Ганглоф К., 1978
Язык программирования Эль-76. Принципы построения языка и руководство к пользованию. — 2-е изд. испр. и доп., Пентковский В. М., 1989
Сравнительный курс языка PL/1 (на основе алгола-60), Безбородов Ю. М., 1980
Программирование на языке Ада, Вегнер П., 1983
Язык программирования Си для персонального компьютера, Бочков C. O., Субботин Д. М., 1990
Объектно-ориентированное программирование в C++. — 4-е изд., Лафоре Р., 2003
Проектирование программных средств, Липаев В. В., 1990

elapsed time 0.017 sec

/ИТ-книги

ОГЛАВЛЕНИЕ

Книги на ту же тему